theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings International Joint Conference on Theory and Practice of Software Development 1993 : Orsay, France) creator Gaudel, M. -C. ed. Jouannaud, J. -P. ed. text conference publication us Berlin Springer-Verlag 1993 monographic eng 761 p. M.-C. Gaudel and J. -P. Jouannaud (eds.) Trees (Graph theory) Congresses Programming (Electronic computers) Congresses Computer software Development Mathematics Congresses Algebra Congresses QA76.76 D47 I57 1993 3540566104 060912 20260818223902.0