International Symposium [on] Theoretical aspects of computer software, 3 Theoretical aspects of computer software : proceedings / Third International Symposium... ; ed. Martín Abadi, Takayasu Ito

Theoretical aspects of computer software : proceedings / Third International Symposium... ; ed. Martín Abadi, Takayasu Ito . - Berlin : Springer-Verlag, cp. 1997 . - XI, 638 p. : il. 25 cm . - (Lecture notes in computer science; 1281)
3-540-63388-X Brochado

519.6
681.3.06