Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control 1996 Edition (Lecture Notes in Mathematics)Abrial, Jean-RaymondPaperback3540619291 /
9783540619291		10/1996$104.49
Modeling in Event-B: System and Software EngineeringAbrial, Jean-RaymondHardcover0521895561 /
9780521895569		05/2010$152.00
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science: Festschrift)Abrial, Jean-RaymondPaperback3642114466 /
9783642114465		01/2010$52.24
The B-Book: Assigning Programs to MeaningsAbrial, J. R.Paperback0521021758 /
9780521021753		11/2005$117.80
  (4 items found)