Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list
Read sample

Models and Analysis for Distributed Systems

By Serge Haddad (Editor), Fabrice Kordon (Editor), Laurent Pautet (Editor), Laure Petrucci (Editor)
Hardcover
$184.95
By Serge Haddad (Editor), Fabrice Kordon (Editor), Laurent Pautet (Editor), Laure Petrucci (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.

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...

Categories

Science & TechnologyComputersEngineeringElectrical & Electronic EngineeringComputers - General & MiscellaneousComputer Architecture/Engineering