Modeling in Event-B: System and Software Engineering - Jean-Raymond Abrial - Bücher - Cambridge University Press - 9780521895569 - 13. Mai 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Jean-Raymond Abrial
Modeling in Event-B: System and Software Engineering

Preis
SFr. 160,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 25. Dez - 2. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.

612 pages, 170 b/w illus. 30 exercises

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 13. Mai 2010
ISBN13 9780521895569
Verlag Cambridge University Press
Seitenanzahl 612
Maße 192 × 251 × 37 mm   ·   1,32 kg
Sprache Englisch  

Weitere Titel von Jean-Raymond Abrial

Alle anzeigen

Andere haben auch gekauft

Alle Titel von Jean-Raymond Abrial ansehen ( u. a. Taschenbuch und Gebundenes Buch )