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

157,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

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: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521895569
ISBN-10: 0521895561
Sprache: Englisch
Einband: Gebunden
Autor: Abrial, Jean-Raymond
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
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: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9780521895569
ISBN-10: 0521895561
Sprache: Englisch
Einband: Gebunden
Autor: Abrial, Jean-Raymond
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 260 x 208 x 37 mm
Von/Mit: Jean-Raymond Abrial
Erscheinungsdatum: 13.05.2010
Gewicht: 1,52 kg
Artikel-ID: 101226823
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780521062923 | Domains and Lambda-Calculi | Roberto M. Amadio (u. a.) | Taschenbuch
Domains and Lambda-Calculi
EAN: 9780521062923
Sprache: Englisch
Von/Mit: Roberto M. Amadio (u. a.)

83,70 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783110120257 | Grundlagen der Datenverarbeitung | Sebastian Dworatschek | Buch | 1989
Grundlagen der Datenverarbeitung
EAN: 9783110120257
Sprache: Deutsch
Von/Mit: Sebastian Dworatschek

169,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783486250589 | MVS/ESA JCL | Einführung in die Praxis | Michael Winter | Buch | XIV
MVS/ESA JCL
Einführung in die Praxis
EAN: 9783486250589
Sprache: Deutsch
Von/Mit: Michael Winter

119,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783211817827 | Computersysteme ¿ Aufbau und Funktionsweise | H. Schauer | Taschenbuch
Computersysteme ¿ Aufbau und Funktionsweise
EAN: 9783211817827
Sprache: Deutsch
Von/Mit: H. Schauer

54,99 €*

Lieferzeit 2-4 Werktage

Buch
Cover: 9783319774886 | Handbook of Model Predictive Control | William S. Levine (u. a.) | xxi
Handbook of Model Predictive Control
EAN: 9783319774886
Sprache: Englisch
Von/Mit: William S. Levine (u. a.)

143,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781119597841 | Modern Big Data Architectures | A Multi-Agent Systems Perspective
Modern Big Data Architectures
A Multi-Agent Systems Perspective
EAN: 9781119597841
Sprache: Englisch
Von/Mit: Dominik Ryzko

59,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484271605 | Agile Visualization with Pharo | Alexandre Bergel | Taschenbuch | xi
Agile Visualization with Pharo
Crafting Interactive Visual Support Using Roassal
EAN: 9781484271605
Sprache: Englisch
Von/Mit: Alexandre Bergel

42,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783030983154 | An Introduction to Artificial Intelligence Based on Reproducing...
An Introduction to Artificial Intelligence Based on Reproducing Kernel Hilbert Spaces
EAN: 9783030983154
Sprache: Englisch
Von/Mit: Sergei Pereverzyev

42,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9789355516336 | Building Kotlin Applications | Mounir Boussetta | Taschenbuch | 2023
Building Kotlin Applications
A comprehensive guide for Android, Web, and Server-Side Development (English Edition)
EAN: 9789355516336
Sprache: Englisch
Von/Mit: Mounir Boussetta

49,40 €*

Lieferzeit 1-2 Wochen

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