Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
The B-Book: Assigning Programs to MeaningsAbrial, J. R.Paperback0521021758 /
9780521021753		11/2005$117.80
Modeling in Event-BAbrial, Jean-RaymondHardcover0521895561 /
9780521895569		06/2010$152.00
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
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
  (4 items found)