1
|
Material Type: Livro
|
|
Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings
International Conference on Algebraic Methodologyand Software Technology (4. 1995 Montreal, Ca) Vangalur S Alagar; Maurice Nivat 1937-
[ed] Goos, G., Hartmanis, J., Leeuwen, J. Van Berlin, Springer-Verlag, c1985- Lecture notes in computer science
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.936 e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Algebraic methodology and software technology proceedings [of the] 5th international conference, amast'96, held in Munich, Germany, july 1-5, 1996
International Conference on Algebraic Methodologyand Software Technology (5. 1996 Munich, De) Martin Wirsing; Maurice Nivat 1937-
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1101 ) e outros locais(Acessar)
|