Spar
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.
- Undertittel
- The Complete Documentation of the Common Algebraic Specification Language
- Redaktør
- Peter D. Mosses
- Opplag
- 2004 ed.
- ISBN
- 9783540213017
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 19.3.2004
- Antall sider
- 534
