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

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 BibTeX
@proceedings{DBLP:conf/tapsoft/1987-1,
  editor    = {Hartmut Ehrig and
               Robert A. Kowalski and
               Giorgio Levi and
               Ugo Montanari},
  title     = {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)},
  booktitle = {TAPSOFT, Vol.1},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {249},
  year      = {1987},
  isbn      = {3-540-17660-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Algorithms (CAAP Session 1)

Proving Techniques (CAAP Session 2)

Algebraic Specifications I (CAAP Session 3)

Concurrency (CAAP Session 4)

AS Session 4

Algebraic Specifications II (CAAP Session 5)

Foundations (CAAP Session 6)

AS Session 5

AS Session 2

Copyright © Sat May 16 23:43:33 2009 by Michael Ley (ley@uni-trier.de)