![LNCS 2960](covers/c2960.gif) |
![Space](images/space.gif) |
Peter D. Mosses (Ed.): CASL Reference Manual
The Complete Documentation of the Common Algebraic Specification Language LNCS
2960
|
|
Electronic Version of LNCS 2960:
Additional Electronic Material on This CD-ROM:
Contrary to expectations, the new version of the LaTeX package
for formatting CASL specifications and its documentation were
not ready in time for inclusion on this CD-ROM. They will be
made available via the CoFI web pages http://www.cofi.info.
Sorry for any inconvenience.
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
© 2004 IFIP International Federation for Information Processing/Authors
|