Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997 ; selected papers

Inhaltsverzeichnis

Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997 ; proceedings

Inhaltsverzeichnis

Recent trends in data type specification 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 ; selected p...

Inhaltsverzeichnis

Algebraic system specification and development a survey and annotated bibliography

Algebraic methodology and software technology 7th International Conference, AMAST '98, Amazonia, Brazil, January 4 - 8, 1999 ; proceedings

Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers

Algebraic specification

Transformation based reactive systems development 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, M...

Inhaltsverzeichnis

Trees in algebra and programming CAAP '96 : 21st international colloquium Linköping, Sweden, April 22 - 24, 1996 ; proceedings

Inhaltsverzeichnis

Algebraic methodology and software technology 4th international conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings

Inhaltsverzeichnis

Algebraic specifications in software engineering an introduction von Horebeek, Ivo van, Lewi, Johan