Zur Startseite gehen
0,00 €*
Cover: 9780521895569 | Modeling in Event-B | Jean-Raymond Abrial | Buch | Englisch | 2010
Dekorationsartikel gehören nicht zum Leistungsumfang.
Modeling in Event-B
Buch von Jean-Raymond Abrial
Sprache: Englisch

150,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
Über den Autor
Jean-Raymond Abrial is a researcher in the Department of Computer Science at ETH Zürich.
Inhaltsverzeichnis
Prologue: faultless systems - yes we can!; Acknowledgements; 1. Introduction; 2. Controlling cars on a bridge; 3. A mechanical press controller; 4. A simple file transfer protocol; 5. The Event-B modeling notation and proof obligations rules; 6. Bounded re-transmission protocol; 7. Development of a concurrent program; 8. Development of electronic circuits; 9. Mathematical language; 10. Leader election on a ring-shaped network; 11. Synchronizing a tree-shaped network; 12. Routing algorithm for a mobile agent; 13. Leader election on a connected graph network; 14. Mathematical models for proof obligations; 15. Development of sequential programs; 16. A location access controller; 17. Train system; 18. Problems; Index.
Details
Erscheinungsjahr: 2010
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521895569
ISBN-10: 0521895561
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Abrial, Jean-Raymond
Hersteller: Cambridge University Press
Maße: 260 x 208 x 37 mm
Von/Mit: Jean-Raymond Abrial
Erscheinungsdatum: 13.05.2010
Gewicht: 1,52 kg
Artikel-ID: 101226823
Über den Autor
Jean-Raymond Abrial is a researcher in the Department of Computer Science at ETH Zürich.
Inhaltsverzeichnis
Prologue: faultless systems - yes we can!; Acknowledgements; 1. Introduction; 2. Controlling cars on a bridge; 3. A mechanical press controller; 4. A simple file transfer protocol; 5. The Event-B modeling notation and proof obligations rules; 6. Bounded re-transmission protocol; 7. Development of a concurrent program; 8. Development of electronic circuits; 9. Mathematical language; 10. Leader election on a ring-shaped network; 11. Synchronizing a tree-shaped network; 12. Routing algorithm for a mobile agent; 13. Leader election on a connected graph network; 14. Mathematical models for proof obligations; 15. Development of sequential programs; 16. A location access controller; 17. Train system; 18. Problems; Index.
Details
Erscheinungsjahr: 2010
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521895569
ISBN-10: 0521895561
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Abrial, Jean-Raymond
Hersteller: Cambridge University Press
Maße: 260 x 208 x 37 mm
Von/Mit: Jean-Raymond Abrial
Erscheinungsdatum: 13.05.2010
Gewicht: 1,52 kg
Artikel-ID: 101226823
Warnhinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...