TAPSOFT '93 theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : M.C. Gaudel, J.-P. Jouannaud, eds.

Bibliographic Details
Corporate Authors: Colloquium on Trees in Algebra and Programming (1993 : Orsay, France) Colloquium on Formal Approaches of Software Engineering (1993 : Orsay, France), International Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France)
Other Authors: Gaudel, M. C. (Marie-Claude), Jouannaud, Jeane-Pierre
Format: Book
Language:English
Published: Berlin Springer-Verlag c1993.
Series:Lecture notes in computer science 668
Subjects: