| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Algebraic System Specification and Development: A Survey and Annotated Bibliography | | 978-3-540-54060-1 | 2008 | Michel Bidoit · Hans-J??rg Kreowski · Donald Sannella · Pierre Lescanne |
| Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings | | 978-3-540-42287-7 | 2001 | Paul G. Spirakis · Jan van Leeuwen |
| Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday | | 978-3-540-24936-8 | 2008 | Ugo Montanari · Gabriele Taentzer · Grzegorz Rozenberg · Hans-Jörg Kreowski |
| Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and ... Germany, March 26--April 3, 2011, Proceedings | | 978-3-642-19812-0 | 2011 | Dimitra Giannakopoulou |
| Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and ... Notes in Computer Science, Band 6603) | | 978-3-642-19810-6 | 2011 | " |
| Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers | | 978-3-540-25327-3 | 2008 | Luiz Fiadeiro · Peter Mosses |
| Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. ... Notes in Computer Science , Band 534) | | 978-3-540-54496-8 | 2008 | Hartmut Ehrig · Horst Reichel · Klaus P. Jantke |
| Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings | | 978-0-387-54496-0 | 1991 | b Workshop on Specification of Abstract Data Types 1990 Wusterhausen · Klaus P. Jantke · Hartmut Ehrig |
| Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... | | 978-3-540-57867-3 | 2008 | Hartmut Ehrig |
| TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: ... Notes in Computer Science , Band 351) | | 978-3-540-50939-4 | 2008 | Josep Diaz |
| TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: ... Notes in Computer Science , Band 352) | | 978-3-540-50940-0 | 2008 | " |
| Tapsoft '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 Vol: 1 | | 978-0-387-50939-6 | 2008 | J. Diaz · Yiannis Moschovakis |