Topic
Abstract data types (Computer
15 books
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science)
Teodor Rus
Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science)
Mark P. Jones
Concrete abstractions: an introduction to computer science using Scheme
Max Hailperin, Barbara Kaiser, Karl Knight.
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).
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: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995: Proceedings (Lecture Notes in Computer Science)
Vangalur S. Alagar, M. Nivat, International Conference on Algebraic Methodology and Software Technology (4th 1995 Montréal, Québec)
Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings (Lecture Notes in Computer Science)
Michael P. Johnson
Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes in Computer Science)
Armando M. Haeberer
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: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science)
Charles Rattray
Showing 10 of 15 books