ABRIAL, JEAN-RAYMOND

Results 1-2 of 2 for ABRIAL, JEAN-RAYMOND
Add Abrial, Jean-Raymond to your Artist Watch list (click for more information)
Sorted by:
Abrial, Jean-Raymond / Modeling in Event-B Modeling in Event-B
Import; AUD$243.46; Book - Hardcover;
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...
  Add To Cart
Abrial, Jean-Raymond / Rigorous Methods for Software Construction and Analysis (1) Rigorous Methods for Software Construction and Analysis (1)
Import; AUD$118.21; Book - Paperback;
This Festschrift volume, published in honor of Egon BArger, contains 14 papers from a Dagstuhl Seminar, which was organized as a "Festkolloquium" on the occasion of his 60th birthday in May 2006....
  Add To Cart
Affiliate Link: 'our mates' info