|
|
Successor conference: ETAPS
TAPSOFT traditionally comprises of three parts:
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (Eds.):
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings.
Lecture Notes in Computer Science 915 Springer 1995, ISBN 3-540-59293-8
Contents
- TAPSOFT'95 Home Page
Selected papers of TAPSOFT'95 were published in TCS 167(1996)
Samson Abramsky, T. S. E. Maibaum (Eds.):
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91).
Lecture Notes in Computer Science 493 Springer 1991, ISBN 3-540-53982-4
Contents
Samson Abramsky, T. S. E. Maibaum (Eds.):
TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD).
Lecture Notes in Computer Science 494 Springer 1991, ISBN 3-540-53981-6
Contents
Josep Díaz, Fernando Orejas (Eds.):
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89).
Lecture Notes in Computer Science 351 Springer 1989, ISBN 3-540-50939-9
Contents
Josep Díaz, Fernando Orejas (Eds.):
TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL).
Lecture Notes in Computer Science 352 Springer 1989, ISBN 3-540-50940-2
Contents
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari (Eds.):
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87).
Lecture Notes in Computer Science 249 Springer 1987, ISBN 3-540-17660-8
Contents
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari (Eds.):
TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP).
Lecture Notes in Computer Science 250 Springer 1987, ISBN 3-540-17611-X
Contents
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.):
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85).
Lecture Notes in Computer Science 185 Springer 1985, ISBN 3-540-15198-2
Contents
Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher (Eds.):
Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE).
Lecture Notes in Computer Science 186 Springer 1985, ISBN 3-540-15199-0
Contents