International Joint Conference on the Theory and Practice of Software Development,, 4,
TAPSOFT'93 : theory and practice of software development : proceedings / 4th International Joint Conference... ; ed. M.-C. Gaudel, J.-P. Jouannaud
TAPSOFT'93 : theory and practice of software development : proceedings / 4th International Joint Conference... ; ed. M.-C. Gaudel, J.-P. Jouannaud
. - Berlin : Springer-Verlag, cop. 1993
. - XII, 761 p. 24 cm
. - (Lecture notes in computer science; 668)
3-540-56610-4 Brochado
519.681