Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Syst Edition. Edition (Workshops in Computing)Summerskill, KarenPaperback3540196358 /
9783540196358		11/1990$52.24
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems (Advanced Computing and Telecommunications Series)Craigen, DanHardcover0815513623 /
9780815513629		01/1995$72.22
  (2 items found)