Vor Ort
Merkzettel Warenkorb
  • Produktbild: Modeling in Event-B
  • Produktbild: Modeling in Event-B

Modeling in Event-B System and Software Engineering

197,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

13.05.2010

Verlag

Cambridge Academic

Seitenzahl

614

Maße (L/B/H)

26/20,8/3,7 cm

Gewicht

1320 g

Sprache

Englisch

ISBN

978-0-521-89556-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

13.05.2010

Verlag

Cambridge Academic

Seitenzahl

614

Maße (L/B/H)

26/20,8/3,7 cm

Gewicht

1320 g

Sprache

Englisch

ISBN

978-0-521-89556-9

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
Die Leseprobe wird geladen.
  • Produktbild: Modeling in Event-B
  • Produktbild: Modeling in Event-B
  • 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.