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:

• Chapter 3
  
• Chapter 4
  
• Chapter 5
  
• Chapter 6
  
• Chapter 7
  
• Chapter 8
  
• Specifications from chapter 13
  

These following text files contain the libraries of basic datatypes, version 0.9:

• Algebra I
  
• Algebra II
  
• Graphs
  
• Linear Algebra I
  
• Linear Algebra II
  
• Machine Numbers
  
• Numbers
  
• Relations and Orders
  
• Simple Datatypes
  
• Structured Datatypes
  

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