 |
 |
Michel Bidoit and Peter D. Mosses: CASL User Manual
Introduction to Using the Common Algebraic Specification Language
With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki LNCS
2900
|
|
Additional Electronic Material on this CD-ROM:
The following files contain text versions of all specifications from the respective chapter of the CASL User Manual:
These following text files contain the libraries of basic datatypes, version 0.9:
The latest version can be obtained from http://www.cofi.info/Libraries.
Tools for checking the specifications can be obtained from http://www.cofi.info/Tools.
Important Note:
In order to view the full articles presented on this CD-ROM you
will need Adobe Acrobat Reader.
If you run a Windows 98SE / NT / 2000 / ME / XP platform you can install Adobe
Acrobat Reader 6.0 by clicking one of the following links:
Install Acrobat Reader 6.0 (English)
Install Acrobat Reader 6.0 (German)
For other platforms please take a look into the Acrobat directory of this CD-ROM or visit the Adobe website at
http://www.adobe.com/products/acrobat/readstep.html.
lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004
|