Models and Analysis for Distributed Systems (PDF)
(Sprache: Englisch)
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 -...
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 -...
sofort als Download lieferbar
eBook (pdf)
144.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Models and Analysis for Distributed Systems (PDF)“
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.
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.
Autoren-Porträt
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.
Bibliographische Angaben
- 2013, 1. Auflage, 356 Seiten, Englisch
- Herausgegeben: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
- Verlag: John Wiley & Sons
- ISBN-10: 1118602692
- ISBN-13: 9781118602690
- Erscheinungsdatum: 07.02.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 2.81 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Models and Analysis for Distributed Systems"
0 Gebrauchte Artikel zu „Models and Analysis for Distributed Systems“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Models and Analysis for Distributed Systems".
Kommentar verfassen