Algebraic methodology and software technology : 10th international conference, AMAST 2004 /

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings /
Published: (2000)

Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 /
Published: (1992)

Algebraic methodology and software technology (AMAST '93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993 /
Published: (1994)

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings /
Published: (2002)

Algebraic specifications in software engineering : an introduction /
by: Horebeek, Ivo van, 1959-
Published: (1989)

Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings /
Published: (2006)

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings /
Published: (1995)

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers /
Published: (2005)

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
Published: (1998)

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers /
Published: (2000)

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /
Published: (2003)

Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers /
Published: (2007)

Abstract data types : their specification, representation, and use /
by: Thomas, Pete (Peter G.)
Published: (1988)

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 /
Published: (2001)

A systematic catalogue of reusable abstract data types /
by: Uhl, J. (Jürgen)
Published: (1990)

New trends in software methodologies, tools and techniques /
Published: (2007)

Algebraic specification /
Published: (1989)

Algebra, Geometry and Software Systems /
by: Joswig, Michael
Published: (2003)

Algebraic methods : theory, tools, and applications /
Published: (1989)

Algebraic methods II : theory, tools, and applications /
Published: (1991)

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
by: Nivat, M.
Published: (1994)

Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings /
Published: (2006)

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 papers /
Published: (1996)

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers /
Published: (1994)

Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
Published: (1999)

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 /
Published: (1988)

A systematic catalogue of reusable abstract data types /
by: Uhl, J. (Jürgen)
Published: (1990)

Research methodologies, innovations and philosophies in software systems engineering and information systems /
Published: (2012)

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers /
Published: (1993)

New trends in software methodologies, tools and techniques : proceedings of Lyee-W02 /
Published: (2002)

Value-based software engineering /
Published: (2006)

COTS-based software systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings /
Published: (2004)

Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings /
Published: (1986)

Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /
Published: (1985)

Software design methodology /
by: Zhu, Hong, 1961-
Published: (2005)

Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings /
Published: (2005)