Algebraic Methodology and Software Technology (AMAST)

12. AMAST 2008: Urbana, IL, USA

José Meseguer, Grigore Rosu (Eds.): Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Lecture Notes in Computer Science 5140 Springer 2008, ISBN 978-3-540-79979-5
Contents

11. AMAST 2006: Kuressaare, Estonia

Michael Johnson, Varmo Vene (Eds.): Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Lecture Notes in Computer Science 4019 Springer 2006, ISBN 3-540-35633-9
Contents

10. AMAST 2004: Stirling, Scotland, UK

Charles Rattray, Savi Maharaj, Carron Shankland (Eds.): Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Lecture Notes in Computer Science 3116 Springer 2004, ISBN 3-540-22381-9
Contents

9. AMAST 2002: St. Gilles les Bains, Reunion Island, France

Hélène Kirchner, Christophe Ringeissen (Eds.): Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. Lecture Notes in Computer Science 2422 Springer 2002, ISBN 3-540-44144-1
Contents

- AMAST 2002 Home Page

8. AMAST 2000: Iowa City, Iowa, USA

Teodor Rus (Ed.): Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Lecture Notes in Computer Science 1816 Springer 2000, ISBN 3-540-67530-2
Contents

- AMAST 2000 Home Page

7. AMAST 1998: Amazonia, Brasil

Armando Martin Haeberer (Ed.): Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings. Lecture Notes in Computer Science 1548 Springer 1999, ISBN 3-540-65462-3
Contents

6. AMAST 1997: Sydney, Australia

Michael Johnson (Ed.): Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings. Lecture Notes in Computer Science 1349 Springer 1997, ISBN 3-540-63888-1
Contents

5. AMAST 1996: Munich, Germany

Martin Wirsing, Maurice Nivat (Eds.): Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings. Lecture Notes in Computer Science 1101 Springer 1996, ISBN 3-540-61463-X
Contents

4. AMAST 1995: Montreal, Canada

Vangalur S. Alagar, Maurice Nivat (Eds.): Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings. Lecture Notes in Computer Science 936 Springer 1995, ISBN 3-540-60043-4
Contents

3. AMAST 1993: Twente, The Netherlands

Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (Eds.): Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993. Workshops in Computing Springer 1994, ISBN 3-540-19852-0
Contents

2. AMAST 1991: Iowa City, USA

Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (Eds.): Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Workshops in Computing Springer 1992, ISBN 3-540-19797-4
Contents