Topic
Abstract data types (Computer science) -- Congresses
17 books
Algebraic methodology and software technology: 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
Michael Johnson (ed.).
Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
Maura Cerioli, Gianna Reggio (eds.).
Recent trends in data type specification: 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, (eds).
Formal methods for real-time and probabilistic systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Joost-Pieter Katoen (ed.).
Algebraic methodology and software technology (AMAST '93): proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, The Netherlands, 21-25 June 1993
M. Nivat ... [et al.] (Eds.).
Algebraic methodology and software technology: 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Teodor Rus (ed.).
A methodology for uncertainty in knowledge-based systems
Kurt Weichselberger, Sigrid Pöhlmann.
Recent trends in data type specification: 5th Workshop on Specification of Abstract Data Types : Gullane, Scotland, September 1-4, 1987 : Selected papers
D. Sannella, A. Tarlecki, eds.
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint With the 8th Compass Workshop Oslo, Norway, September ... Papers (Lecture Notes in Computer Science)
Workshop on Specification of Abstract Data Types (11th 1995 Oslo, Norway)
Algebraic methodology and software technology: 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Martin Wirsing, Maurice Nivat, eds.
Showing 10 of 17 books