dblp.uni-trier.de www.uni-trier.de

TAPSOFT

Successor conference: ETAPS

TAPSOFT traditionally comprises of three parts:


7. TAPSOFT 1997: Lille, France

Michel Bidoit, Max Dauchet (Eds.): TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings. Lecture Notes in Computer Science 1214 Springer 1997, ISBN 3-540-62781-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

6. TAPSOFT 1995: Aarhus, Denmark

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TAPSOFT'95 Home Page

Selected papers of TAPSOFT'95 were published in TCS 167(1996)

5. TAPSOFT 1993: Orsay, France

Marie-Claude Gaudel, Jean-Pierre Jouannaud (Eds.): TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings. Lecture Notes in Computer Science 668 Springer 1993, ISBN 3-540-56610-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

4. TAPSOFT 1991: Brighton, UK

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

3. TAPSOFT 1989: Barcelona, Spain

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

2. TAPSOFT 1987: Pisa, Italy

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

1. TAPSOFT 1985: Berlin, Germany

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 21:15:49 2009 by Michael Ley (ley@uni-trier.de)