Your search returned 2 results.

Not what you expected? Check for suggestions

Results
		Abstract software specifications: 1979 copenhagen winter school by Copenhagen Winter School on Abstract Software Specifications,, 1979 Denmark January 22 - February 2, 1979 Bjorner, D [Editor] Copenhagen Winter School Series: Lectures notes in computer science no. 86 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlage 1980 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 C6A2. Place hold Add to cart (remove)
		Towards a formal description of Ada by Bjorner, D [Editor] Oest, O. N [Editor] Series: Lecture Notes in Computer Science No. 98 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1980 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 T6. Place hold Add to cart (remove)

Refine your search