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

Name: Abrial Jean - Raymond - Modeling In Event - B System And Software Engineering - Hardcover Product Design Artist: Lovelyz
Brand: cantondelareina.com.ar
SKU: 23891179516
Price: 164.22 USD
Availability: InStock
Rating: 4.505800000000001 (6 reviews)

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

SKU: 23891179516 · From cantondelareina.com.ar

4.5

USD164.22 USD201.22

Pay in 4 interest-free payments of $41.05 Learn more