Produktbild
Fabrice (Hrsg.) Kordon

Models and Analysis for Distributed Systems

Ebook (EPUB Format)

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… Mehr

CHF 116.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Haddad, Serge (Hrsg.) / Petrucci, Laure (Hrsg.) / Pautet, Laurent (Hrsg.)
  • ISBN: 978-1-118-60268-3
  • EAN: 9781118602683
  • Produktnummer: 16382862
  • Verlag: Wiley
  • Sprache: Englisch
  • Erscheinungsjahr: 2013
  • Seitenangabe: 356 S.
  • Plattform: EPUB
  • Masse: 3'541 KB

Über den Autor


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.

27 weitere Werke von Fabrice (Hrsg.) Kordon:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.