Algebraic Methodology and Software Technology (AMAST)
13. AMAST 2010: Lac-Beauport, QC, Canada
Michael Johnson, Dusko Pavlovic (Eds.): Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6486 ISBN 978-3-642-17795-8 [ contents ]
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. Springer 2008 Lecture Notes in Computer Science 5140 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. Springer 2006 Lecture Notes in Computer Science 4019 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. Springer 2004 Lecture Notes in Computer Science 3116 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. Springer 2002 Lecture Notes in Computer Science 2422 ISBN 3-540-44144-1 [ contents ]
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. Springer 2000 Lecture Notes in Computer Science 1816 ISBN 3-540-67530-2 [ contents ]
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. Springer 1999 Lecture Notes in Computer Science 1548 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. Springer 1997 Lecture Notes in Computer Science 1349 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. Springer 1996 Lecture Notes in Computer Science 1101 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. Springer 1995 Lecture Notes in Computer Science 936 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. Springer 1994 Workshops in Computing 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. Springer 1992 Workshops in Computing ISBN 3-540-19797-4 [ contents ]
1. AMAST 1989: Iowa, USA
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team