Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover Product Design Barcode: 9780593358665
Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover Product Design Barcode: 9780593358665Binding: Hardcover Description: 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. Title: Modeling In Event B System And Software Engineering Author(s): Abrial Jean Raymond Publisher:
USD164.22
USD192.22
Pay in 4 interest-free payments of $41.05 Learn more
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Aug 16 - Aug 21