| 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 · Hans-J??rg Kreowski · Donald Sannella · Pierre Lescanne |
| CASL User Manual: Introduction to Using the Common Algebraic Specification Language | 978-3-540-20766-5 | 2008 | Peter D. Mosses |
| Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... Notes in Computer Science , Band 655) | 978-3-540-56379-2 | 2008 | Christine Choppy |
| Systems and Software Verification: Model-Checking Techniques and Tools | 978-3-540-41523-7 | 2001 | B. Berard · Alain Finkel |
| TAPSOFT'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings ... Notes in Computer Science , Band 1214) | 978-3-540-62781-4 | 1997 | Max Dauchet |