Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Dependability and Computer Engineering: Concepts for Software-Intensive SystemsPetre, LuigiaHardcover1609607473 /
9781609607470		07/2011$185.25
Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings. 2002 Edition (Lecture Notes in Computer Science,)Butler, MichaelPaperback3540437037 /
9783540437031		05/2002$52.24
Program Development by Refinement: Case Studies Using the B Method 1999 Edition (Formal Approaches to Computing and Information Technology (F)Sekerinski, EmilPaperback1852330538 /
9781852330538		10/1998$208.99
  (3 items found)