Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover Product Design Barcode: 9780340940273

Barcode: 9780340940273

Barcode: 602438956289

Ashihara’s fate is in your hands

Seeing God's big story through these small words allows it to sink deeper into our own lives and to be shared with others in a way that is more memorable and less intimidating

Author(s): Parshall Craig

Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover Product Design Barcode: 9780340940273Binding: 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: