Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings 1980 Edition (Lecture Notes in Computer Science)Bjorner, D.Paperback3540100075 /
9783540100072		06/1980$56.99
The Vienna Development Method: The Meta-Language 1978 Edition (Lecture Notes in Computer Science)Bjorner, D.Paperback3540087664 /
9783540087663		05/1978$31.34
Towards a Formal Description of ADA 1980 Edition (Lecture Notes in Computer Science)Bjorner, D.Paperback3540102833 /
9783540102830		12/1980$104.49
  (3 items found)