Models and Analysis for Distributed Systems
-
Form:Einzelkauf Download
-
Sprache:Englisch
-
eBook Format:ePUB
- PDF 144,99 €
- ePUB 144,99 € ausgewählt
144,99 €
inkl. gesetzl. MwSt.Beschreibung
Produktdetails
Format
ePUB
Kopierschutz
Ja
Family Sharing
Nein
Text-to-Speech
Ja
Erscheinungsdatum
07.02.2013
Herausgeber
Serge Haddad + weitereVerlag
John Wiley & Sons IncSeitenzahl
356 (Printausgabe)
Dateigröße
3575 KB
Auflage
1. Auflage
Sprache
Englisch
EAN
9781118602683
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice