Your search returned 2 results.

Results
	1.	Recent trends in data type specification 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1 - 4, 1987 ; selected papers D. Sannella ... (eds.) by Sannella, Donald [Hrsg.] Sannella, Donald T [Hrsg.] Workshop on Specification of Abstract Data Types 5 1987 Gullane [oth] Series: ; 33200 \| Lecture notes in computer science ; 332 \| Recent trends in data type specification ; 1987,5 Material type: Text; Format: print Language: English Publisher: Berlin Heidelberg [u.a.] Springer 1988 Online resources: Zentralblatt MATH Inhaltstext Availability: Items available for loan: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Collection, call number: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 332. Place hold Add to cart (remove)
	2.	Informatik-Berichte Technische Universität Braunschweig by Technische Universität Braunschweig [Herausgebendes Organ] Material type: Continuing resource; Format: print ; Type of continuing resource: series Language: German Publisher: Braunschweig 1976- Availability: No items available. Add to cart (remove)

Refine your search