Abrial Jean - Raymond
Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover
Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover
Books
Regular price
$164.22 USD
Regular price
Sale price
$164.22 USD
Unit price
per
Shipping calculated at checkout.
Couldn't load pickup availability
Binding: 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: Cambridge University Press
Barcode: 9780521895569
Pages: 612 Pages, Worked Examples Or Exercises; 10 Halftones, Black And White; 160 Line Drawings, Black And
Publication Date: 5/13/2010
Category: Systems Analysis & Design
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: Cambridge University Press
Barcode: 9780521895569
Pages: 612 Pages, Worked Examples Or Exercises; 10 Halftones, Black And White; 160 Line Drawings, Black And
Publication Date: 5/13/2010
Category: Systems Analysis & Design
