ISBN: 9781848213142 - models and analysis for distributed systems (13 resultados)
- Tapa dura
Librería: INDOO, Avenel, NJ, Estados Unidos de AmericaINDOO
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 141,10
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Models and Analysis for Distributed Systems
Haddad, Serge (EDT); Kordon, Fabrice (EDT); Pautet, Laurent (EDT); Petrucci, Laure (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 138,71
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Models and Analysis for Distributed Systems
Haddad, Serge (EDT); Kordon, Fabrice (EDT); Pautet, Laurent (EDT); Petrucci, Laure (EDT)
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 160,45
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 170,36
Envío por EUR 6,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Models and Analysis for Distributed Systems
Haddad, Serge (EDT); Kordon, Fabrice (EDT); Pautet, Laurent (EDT); Petrucci, Laure (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 167,99
Envío por EUR 17,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Models and Analysis for Distributed Systems
Haddad, Serge (EDT); Kordon, Fabrice (EDT); Pautet, Laurent (EDT); Petrucci, Laure (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 170,35
Envío por EUR 17,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa dura
- Primera edición
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 190,19
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: 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. . . . .…
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 192,88
Envío por EUR 13,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. In English.
- Tapa dura
Librería: Ubiquity Trade, Miami, FL, Estados Unidos de AmericaUbiquity Trade
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 204,00
Envío por EUR 2,67Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand new! Please provide a physical shipping address.
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 165,83
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 221,76
Envío por EUR 14,99Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Brand New. 1st edition. 368 pages. 9.50x6.50x1.00 inches. In Stock.
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 243,21
Envío por EUR 9,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: 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.…
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 221,90
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Buch. Condición: 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.…
