1.

電子ブック
ＥＢ
1. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87). 1st ed. 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 249
オンライン: https://doi.org/10.1007/3-540-17660-8
2.

電子ブック
ＥＢ
2. 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). 1st ed. 1987
edited by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 250
オンライン: https://doi.org/10.1007/BFb0014968