Tallenna
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.
- Alaotsikko
- The Complete Documentation of the Common Algebraic Specification Language
- Toimittaja
- Peter D. Mosses
- Painos
- 2004 ed.
- ISBN
- 9783540213017
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.3.2004
- Sivumäärä
- 534
