Jean-Raymond Abrial

Gebundenes Buch

Modeling in Event-B

Beschreibung

A practical introduction to this model-based formal method, containing a broad range of illustrative examples.

Autor

Jean-Raymond Abrial is a researcher in the Department of Computer Science at ETH Zürich.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 614
• Erscheinungstermin: 13. Mai 2010
• Englisch
• Abmessung: 260mm x 208mm x 37mm
• Gewicht: 1520g
• ISBN-13: 9780521895569
• ISBN-10: 0521895561
• Artikelnr.: 29339633