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

143,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 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: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 614
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,522 kg
preigu-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
Seiten: 614
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,522 kg
preigu-id: 101226823
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9781935504252 | The Nimble Elephant | John Giles | Taschenbuch | Paperback | Englisch
The Nimble Elephant
Agile Delivery of Data Models using a Pattern-based Approach
EAN: 9781935504252
Sprache: Englisch
Von/Mit: John Giles

38,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783741283659 | Medientechnik | Geschichte, Grundlagen und Gegenwart der Medientechnik
Medientechnik
Geschichte, Grundlagen und Gegenwart der Medientechnik
EAN: 9783741283659
Sprache: Deutsch
Von/Mit: Klaus Burosch

120,99 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9789391392680 | Selenium with Java - A Beginner's Guide | Pallavi Sharma | Taschenbuch
Selenium with Java - A Beginner's Guide
Web Browser Automation for Testing using Selenium with Java
EAN: 9789391392680
Von/Mit: Pallavi Sharma

46,10 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780645582000 | Beyond Effective Go | Part 1 - Achieving High-Performance Code | Scott
Beyond Effective Go
Part 1 - Achieving High-Performance Code
EAN: 9780645582000
Sprache: Englisch
Von/Mit: Corey S Scott

28,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781387809967 | Programming Games for Atari 2600 | Oscar Toledo Gutierrez | Buch
Programming Games for Atari 2600
EAN: 9781387809967
Sprache: Englisch
Von/Mit: Oscar Toledo Gutierrez

36,25 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781801078771 | Design Made Easy with Inkscape | Christopher Rogers | Taschenbuch
Design Made Easy with Inkscape
A practical guide to your journey from beginner to pro-level vector illustration
EAN: 9781801078771
Sprache: Englisch
Von/Mit: Christopher Rogers

81,30 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781803239439 | Becoming a Salesforce Certified Technical Architect - Second Edition
Becoming a Salesforce Certified Technical Architect - Second Edition
Build a strong command of architectural principles and strategies to prepare for the CTA review board
EAN: 9781803239439
Sprache: Englisch
Von/Mit: Tameem Bahri

71,25 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9798988984825 | CompTIA Security+ Get Certified Get Ahead | SY0-701 Study Guide | Buch
CompTIA Security+ Get Certified Get Ahead
SY0-701 Study Guide
EAN: 9798988984825
Sprache: Englisch
Von/Mit: Joe Shelley

57,20 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9788196815127 | Ultimate Docker for Cloud Native Applications | Meysam Azad | Buch
Ultimate Docker for Cloud Native Applications
EAN: 9788196815127
Sprache: Englisch
Von/Mit: Meysam Azad

45,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780470012703 | Requirements Engineering | Axel van Lamsweerde | Taschenbuch | 682 S.
Requirements Engineering
From System Goals to UML Models to Software Specifications
EAN: 9780470012703
Sprache: Englisch
Von/Mit: Axel van Lamsweerde

75,95 €*

Lieferzeit 1-2 Wochen

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