Articles liés à Models and Analysis for Distributed Systems
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Fabrice Kordon is a full-time professor at Université P. & M. Curie (UPMC).
Serge Haddad is a full-time professor at école Normale Supérieure de Cachan, a member of the CNRS laboratory LSV, and a member of the INRIA team MExICo.
Laurent Pautet is a full-time professor at Télécom ParisTech and a member of the CNRS laboratory LTCI.
Laure Petrucci is a full-time professor at University Paris 13 in France and a member of the CNRS laboratory LIPN.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 132,84
EUR 17,08 expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Models and Analysis for Distributed Systems
Image fournie par le vendeur
Models and Analysis for Distributed Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 12571564-n
Quantité disponible : 20 disponible(s)
Image fournie par le vendeur
Models and Analysis for Distributed Systems
Edité par
Wiley-ISTE, 2011
ISBN 10 : 184821314X
ISBN 13 : 9781848213142
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 12571564
Quantité disponible : 20 disponible(s)
Image fournie par le vendeur
Models and Analysis for Distributed Systems
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : 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. N° de réf. du vendeur 597091194
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Models and Analysis for Distributed Systems
Edité par
Wiley-ISTE, 2011
ISBN 10 : 184821314X
ISBN 13 : 9781848213142
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 12571564
Quantité disponible : 20 disponible(s)
Image d'archives
Models and Analysis for Distributed Systems
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781848213142_new
Quantité disponible : 2 disponible(s)
Image d'archives
Models and Analysis for Distributed Systems
Edité par
ISTE Ltd and John Wiley and Sons Inc, 2011
ISBN 10 : 184821314X
ISBN 13 : 9781848213142
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FW-9781848213142
Quantité disponible : 2 disponible(s)
Image d'archives
Models and Analysis for Distributed Systems Format: Hardcover
Edité par
John Wiley and Sons, 2011
ISBN 10 : 184821314X
ISBN 13 : 9781848213142
Neuf
Couverture rigide
Vendeur : INDOO, Avenel, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 9781848213142
Quantité disponible : Plus de 20 disponibles
Image d'archives
Models and Analysis in Distributed Systems
Edité par
ISTE Ltd. 2011-06-10, 2011
ISBN 10 : 184821314X
ISBN 13 : 9781848213142
Neuf
Couverture rigide
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : New. N° de réf. du vendeur 6666-WLY-9781848213142
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Models and Analysis for Distributed Systems
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : 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. N° de réf. du vendeur 9781848213142
Quantité disponible : 2 disponible(s)
Image d'archives
Models and Analysis for Distributed Systems
Edité par
ISTE Ltd and John Wiley & Sons Inc, 2011
ISBN 10 : 184821314X
ISBN 13 : 9781848213142
Neuf
Couverture rigide
Edition originale
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. . . . . N° de réf. du vendeur V9781848213142
Quantité disponible : 15 disponible(s)