Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott: All About Maude – A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic   LNCS 4350   Ordering Information   BibTeX

CD Contents

• the Maude 2.3 complete distribution, including Full Maude 2.3,
• a pdf version of the complete book (LNCS 4350),
• a pdf version of the Maude manual, version 2.3,
• the executable Maude code for all the examples in the book,
• the Maude code for the Church-Rosser and coherence checkers, to be run on top of Full Maude.

 
Important Note:

In order to view the PDF documents presented on this CD-ROM you will need Adobe Acrobat Reader.

If you run a Windows system, you can install Adobe Acrobat Reader by clicking one of the following links:

Install Acrobat Reader 8.0 (Vista / XP [SP 2] / 2000 [SP 4], English)
Install Acrobat Reader 8.0 (Vista / XP [SP 2] / 2000 [SP 4], German)
Install Acrobat Reader 7.0 (XP / 2000 [SP 2], English)
Install Acrobat Reader 7.0 (XP / 2000 [SP 2], German)
Install Acrobat Reader 6.0 (98SE / NT / 2000, English)
Install Acrobat Reader 6.0 (98SE / NT / 2000, 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/readstep2.html.

lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2007