| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings | 978-3-642-03740-5 | 2010 | Alexander Kurz · Marina Lenisa |
| Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ... Notes in Computer Science , Band 3210) | 978-3-540-23024-3 | 2008 | Jerzy Marcinkowski |
| FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings | 978-3-540-27882-5 | 2005 | John Fitzgerald · Ian J. Hayes |
| Foundations of Algebraic Specification and Formal Software Development | 978-3-642-17335-6 | 2011 | Donald Sannella |
| Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings | 978-3-540-54345-9 | 2008 |
| Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... Notes in Computer Science , Band 906) | 978-3-540-59132-0 | 2008 | Gianna Reggio · Egidio Astesiano |
| 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 | Donald Sannella |