Limit this search to....

  (7 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Computer-Aided Reasoning: Acl2 Case Studies 2000 Edition (Advances in Formal Methods)Kaufmann, MattHardcover0792378490 /
9780792378495		06/2000$208.99
Computer-Aided Reasoning: Acl2 Case Studies Softcover Repri Edition (Advances in Formal Methods)Kaufmann, MattPaperback144194981X /
9781441949813		12/2010$208.99
Computer-Aided Reasoning: Acl2 Case Studies 2000 Edition (Advances in Formal Methods)Kaufmann, MattHardcover0792378806 /
9780792378808		06/2000$312.55
Software Engineering with Obj: Algebraic Specification in Action Softcover Repri Edition (Advances in Formal Methods)Goguen, Joseph A.Paperback1441949658 /
9781441949653		12/2010$208.99
Software Engineering with Obj: Algebraic Specification in Action 2000 Edition (Advances in Formal Methods)Goguen, Joseph A.Hardcover0792377575 /
9780792377573		04/2000$208.99
The Object-Z Specification Language 2000 Edition (Advances in Formal Methods)Smith, GraemePaperback1461374014 /
9781461374015		11/2012$208.99
The Object-Z Specification Language 2000 Edition (Advances in Formal Methods)Smith, GraemeHardcover0792386841 /
9780792386841		12/1999$208.99
  (7 items found)