Produktbild
Fabrice (Hrsg.) Kordon

Models and Analysis for Distributed Systems

Ebook (PDF Format)

Nowadays, distributed systems are increasingly present, for publicsoftware applications as well as critical systems. softwareapplications as well as critical systems. This title andDistributed Systems: Design and Algorithms - from the sameeditors - introduce the underlying concepts, the associateddesign techniques and the related security issues.The objective of this book is to describe the state of the art ofthe formal methods for the analysis of distributed systems.Numerous issues remain open and are the topics of major researchprojects. One current research trend consists of profoundly mixingthe design, modeling, verification and implement… 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-60269-0
  • EAN: 9781118602690
  • Produktnummer: 16383477
  • Verlag: Wiley
  • Sprache: Englisch
  • Erscheinungsjahr: 2013
  • Seitenangabe: 356 S.
  • Plattform: PDF
  • Masse: 2'881 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.