Your search returned 2 results.

Results
		No cover image available Abstract software specifications : Copenhagen winter school proceedings, Jan. 22-Feb. 2, 1979 / edited by D. Bjorner by \| . Series: Edition: Language: English Publication details: Berlin ; Springer Verlag, ; 1980Availability: Items available for loan: 1 Call number: 681.3.06 Abs:79. Place hold Add to cart (remove)
		No cover image available Recent trends in data type specification : 7th workshop on specification of abstact data types : proceedings, Wusterhausen/Dosse, Germany, Apr. 17-20, 1990 / edited by H. Ehrig...[et al.] by Workshop on specification of abstact data types (7th : 1990 \| . Series: Lecture notes in computer science ; v.534Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: 1 Call number: 681.3.06 Wor:7:90. Place hold Add to cart (remove)

Refine your search