Algebraic methodology and software technology
International Conference on Algebraic Methodologyand Software Technology, AMAST'96, 5 1996 Munich Martin Wirsing; Maurice Nivat 1937-
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1996
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1101 )(Acessar)