Modeling in Event-B: System and Software Engineering

by Jean-RaymondAbrial (Author)

New
Hardcover
2010
$159.75

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

Synopsis

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

$159.75

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 612
Edition: 1
Publisher: Cambridge University Press
Published: 13 May 2010
ISBN 10: 0521895561
ISBN 13: 9780521895569

Modeling in Event-B: System and Software Engineering

New

$159.75

Synopsis

$159.75

More Information