| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Algebraic System Specification and Development: A Survey and Annotated Bibliography | | 978-3-540-54060-1 | 2008 | Fernando Orejas · Michel Bidoit · Hans-J??rg Kreowski · Pierre Lescanne |
| Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings | | 978-3-540-22849-3 | 2004 | Josep Diaz · Juhani Karhumäki · Arto Lepistö |
| Foundations of Algebraic Specification and Formal Software Development | | 978-3-642-17335-6 | 2011 | Andrzej Tarlecki |
| Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings | | 978-3-540-57880-2 | 2008 |
| Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994: Proceedings | | 978-0-387-57880-4 | 1994 |
| Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected ... Notes in Computer Science , Band 332) | | 978-3-540-50325-5 | 2008 | Andrzej Tarlecki |
| Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers | | 978-3-540-75333-9 | 2007 | Ugo Montanari |