Mensys Online Shop

All About Maude - A High-Performance Logical Framework

By:Springer Author(s):Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer,
Year of publication:2007 
BUY (go to list)

All About Maude - A High-Performance Logical Framework

Maude is a language and system based on rewriting logic. In this comprehensive account, you ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

Select one or more articles and then press Order. Quantities can be changed on the next page.
Partnr.DescriptionEuro *US$Euro incl. VAT 
9783540719403 All About Maude - A High-Performance Logical Framework68.5579.3282.95

All prices are in EUR excl. VAT (21%, for books 6%) and excl. shipping.
E-mail or call us at +31 85 40 19 16 0 for licences, upgrades and other questions.

Maude is a language and system based on rewriting logic. In this comprehensive account, you ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.