著者典拠情報

著者標目形：
International Conference on Algebraic Methodology and Software Technology
属性：
Meeting
場所：
Iowa City;Enschede, The Netherlands;Montreal;Munich;Sydney;Amazonia;Bamberg
日付：
1991;1993;1995;1996;1997;1998;1999;2000
から見よ参照形：
Conference on Algebraic Methodology and Software Technology, International
AMAST
注記：
Its (2nd : 1991 : Iowa City, Iowa). Algrbraic methodology and software technology, c1992: CIP t.p. (Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991; AMAST'91)
EDSRC:Algebraic methodology and software technology (AMAST'93), c1994: t.p. (Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993)
EDSRC:Algebraic methodology and software technology, c1995: t.p. (4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995)
EDSRC:Algebraic methodology and software technology, t.p. (5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996)
EDSRC:Formal methods for real-time and probabilistic systems, c1999: t.p. (International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999)
著者典拠ID：
DA07076725


1.

図書
図書
1. Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Teodor Rus (ed.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1816
所蔵情報: 図書館
2.

図書
図書
2. Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings
Armando Martín Haeberer (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1548
所蔵情報: 図書館
3.

図書
図書
3. Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Martin Wirsing, Maurice Nivat (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1101
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
4.

図書
図書
4. Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings (: gw)
V.S. Alagar, Maurice Nivat, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 936
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館