Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings 2002 Edition (Lecture Notes in Computer Science)Eriksson, Lars-HenrikPaperback3540439285 /
9783540439288		07/2002$104.49
Proof in VDM: A Practitioner's Guide Softcover Repri Edition (Formal Approaches to Computing and Information Technology (F)Bicarregui, Juan C.Paperback354019813X /
9783540198130		12/1993$52.24
  (2 items found)