Theory and Practice of Software Developement conference
TAPSOFT'87 volume 2. Pisa, Italy, march 23-27, 1987. - Springer Verlag, 1987. - (Lecture Notes in Computer Science; 250).
Theory and Practice of Software Developement conference , 1997
TAPSOFT '97: theory and practice of software development. 7th international joint conference CAAP-FASE, Lille, France, April 14-18, 1997. Proceedings. - Springer Verlag, 1997. - (Lecture Notes in Computer Science; 1214).
Theory and Practice of Software Developement conference , 1991
TAPSOFT '91. Proceedings of the international joint conference on theory and practice of software developement, Brighton, UK, April 1991. Vol.1 : Colloquium on trees in algebra and programming CAAP '91. - Springer Verlag. - (Lecture Notes in Computer Science; 493).
Theory and Practice of Software Developement conference , 1991
TAPSOFT '91. Proceedings of the international joint conference on theory and practice of software developement, Brighton, UK, April 8-11,1991. V.2 : Adv. in Distributed Computing (ADC) and colloq. on Combining Paradigms for Software Develop. - Springer Verlag. - (Lecture Notes in Computer Science; 494).
Theory and Practice of Software Developement conference , 1987
TAPSOFT'87 volume 1. Pisa, Italy, march 23-27, 1987. - Springer Verlag, 1987. - (Lecture Notes in Computer Science; 249).
Theory and Practice of Software Developement conference , 1985
Formal methods and software development; Proceedings of the international joint conference on theory and practice of software development (TAPSOFT), Berlin march 25-29, 1985; Volume 2: Colloquium on software engineering (CSE). - Springer Verlag, 1985. - (Lecture Notes in Computer Science; 186).
Theory and Practice of Software Developement conference , 1985
Mathematical fundations of software development ; Proceedings of the international joint conference on theory and practice of software development (TAPSOFT), held in Berlin, march 25-29, 1985: Volume I: Colloquium on trees in algebra and pg. - Springer Verlag, 1985. - (Lecture Notes in Computer Science; 185).