| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings | 978-3-540-60043-5 | 1995 | V. S. Alagar |
| Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings | 978-3-540-61463-0 | 1996 | Martin Wirsing |
| CAAP '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings | 978-3-540-19021-9 | 1988 | Max Dauchet |
| Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... | 978-3-540-15199-9 | 1985 | Hartmut Ehrig · James Thatcher · Christiane Floyd |
| Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences ... | 978-3-540-64300-5 | 1998 | |