Siirry suoraan sisältöön
CASL Reference Manual
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