ISBN: 9781848213142 - models and analysis for distributed systems (13 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (13)

Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: John Wiley and Sons, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: INDOO, Avenel, NJ, U.S.A.INDOO

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 141,19

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 138,79

    EUR 2,35 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 160,55

    EUR 2,35 spedizione 
    Spedito in U.S.A.

    Quantità: 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: ISTE Ltd., 2011

    184821314X / 9781848213142

    • Rilegato

    Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 170,20

    EUR 6,02 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibile

    HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato - Come nuovo

    EUR 167,82

    EUR 17,98 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: As New. Unread book in perfect condition.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 170,18

    EUR 17,98 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New.

  • Lingua: Inglese

    Editore: ISTE Ltd and John Wiley & Sons Inc, 2011

    184821314X / 9781848213142

    • Rilegato
    • Prima edizione

    Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 190,19

    EUR 9,50 spedizione 
    Spedito da Irlanda a U.S.A.

    Quantità: 15 disponibili

    Condizione: New. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666. . 2011. 1st Edition. Hardcover. . . . .…

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 192,69

    EUR 13,53 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibile

    Condizione: New. In English.

  • Lingua: Inglese

    Editore: Wiley-ISTE, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: Ubiquity Trade, Miami, FL, U.S.A.Ubiquity Trade

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 204,12

    EUR 2,67 spedizione 
    Spedito in U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. Brand new! Please provide a physical shipping address.

  • Lingua: Inglese

    Editore: ISTE LTD, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 165,83

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibile

    Condizione: New. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal me.

  • Lingua: Inglese

    Editore: Iste/Hermes Science Pub, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 221,55

    EUR 14,98 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 1 disponibile

    Hardcover. Condizione: Brand New. 1st edition. 368 pages. 9.50x6.50x1.00 inches. In Stock.

  • Lingua: Inglese

    Editore: ISTE Ltd and John Wiley & Sons Inc, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 243,35

    EUR 9,35 spedizione 
    Spedito in U.S.A.

    Quantità: 15 disponibili

    Condizione: New. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666. . 2011. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.…

  • Lingua: Inglese

    Editore: Wiley Jul 2011, 2011

    184821314X / 9781848213142

    • Rilegato

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 221,90

    EUR 35,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibile

    Buch. Condizione: Neu. Neuware - Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master's and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.…