| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Algebraic System Specification and Development: A Survey and Annotated Bibliography | Paperback | 978-0-387-54060-3 | 1991 | ||
| CASL User Manual: Introduction to Using the Common Algebraic Specification Language | Taschenbuch | 978-3-540-20766-5 | 2008 | P. D. Mosses | |
| Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A | Paperback | 978-0-387-56379-4 | 1993 | ||
| Systems and Software Verification: Model-Checking Techniques and Tools | Taschenbuch | 978-3-642-07478-3 | 2010 | B. Berard · A. Finkel · F. Laroussinie · A. Petit · L. Petrucci · P. Schnoebelen | |
| Systems and Software Verification: Model-Checking Techniques and Tools | Gebunden | 978-3-540-41523-7 | 2001 | B. Berard · A. Finkel · F. Laroussinie · A. Petit · L. Petrucci · P. Schnoebelen | |