Items related to 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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Search results for Models and Analysis for Distributed Systems
Seller Image
Models and Analysis for Distributed Systems
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 12571564-n
Quantity: 20 available
Stock Image
Models and Analysis for Distributed Systems Format: Hardcover
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9781848213142
Quantity: Over 20 available
Seller Image
Models and Analysis for Distributed Systems
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 12571564
Quantity: 20 available
Stock Image
Models and Analysis for Distributed Systems (Hardcover)
Published by
ISTE Ltd and John Wiley & Sons Inc, London, 2011
ISBN 10: 184821314X
ISBN 13: 9781848213142
New
Hardcover
First Edition
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. Masters 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781848213142
Quantity: 1 available
Seller Image
Models and Analysis for Distributed Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 12571564
Quantity: 20 available
Stock Image
Models and Analysis for Distributed Systems
Published by
ISTE Ltd and John Wiley and Sons Inc, 2011
ISBN 10: 184821314X
ISBN 13: 9781848213142
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9781848213142
Quantity: 2 available
Stock Image
Models and Analysis for Distributed Systems
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781848213142_new
Quantity: 2 available
Seller Image
Models and Analysis for Distributed Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 12571564-n
Quantity: 20 available
Stock Image
Models and Analysis for Distributed Systems
Seller: Ubiquity Trade, Miami, FL, U.S.A.
Seller rating 3 out of 5 stars
Condition: New. Brand new! Please provide a physical shipping address. Seller Inventory # 9781848213142
Quantity: Over 20 available
Stock Image
Models and Analysis in Distributed Systems
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: New. Seller Inventory # 6666-WLY-9781848213142
Quantity: 2 available