Picture 1 of 1

Stock photo
Stock photo
Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial (Eng - Picture 1 of 1

Modeling in Event-B: System and Software Engineering by Jean-Raymond Abrial (Hardcover, 2010)

Be the first towrite a review.
  • thenilestore (1211555)
  • 98.2% positive Feedback
Price:
AU $225.69
Free postage
Estimated delivery Mon, 27 May - Fri, 31 May
Returns:
30-day returns. Buyer pays for return postage.
Condition:
Brand new
By Jean-Raymond Abrial. Author Jean-Raymond Abrial. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind.