Spara
CASL Reference Manual
Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications.
As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.
- Undertitel
- The Complete Documentation of the Common Algebraic Specification Language
- Redaktör
- Peter D. Mosses
- Upplaga
- 2004 ed.
- ISBN
- 9783540213017
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2004-03-19
- Sidor
- 534
