Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Computing)Diaconescu, RazvanHardcover9810235135 /
9789810235130		07/1998$43.70
Institution-Independent Model Theory 2008 Edition (Studies in Universal Logic)Diaconescu, RazvanPaperback3764387076 /
9783764387075		05/2008$104.49
  (2 items found)