All About Maude - A High-Performance Logical Framework: How To Specify, Program, And Verify Systems In Rewriting Logic: How To Specify, Program, And V by Manuel ClavelAll About Maude - A High-Performance Logical Framework: How To Specify, Program, And Verify Systems In Rewriting Logic: How To Specify, Program, And V by Manuel Clavel

All About Maude - A High-Performance Logical Framework: How To Specify, Program, And Verify Systems…

byManuel Clavel, Francisco Dur, Steven Eker

Hardcover | July 20, 2007

Pricing and Purchase Info

$164.50

Earn 823 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:All About Maude - A High-Performance Logical Framework: How To Specify, Program, And Verify Systems…Format:HardcoverDimensions:802 pages, 23.5 × 15.5 × 1.73 inPublished:July 20, 2007Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540719407

ISBN - 13:9783540719403

Reviews

Editorial Reviews

From the reviews:"This book is designed as a comprehensive introduction and reference to Maude as a system. . Whether you are a researcher in formal methods or only curious about different programming paradigms, this reference work is an interesting read. This very hands-on book is full of illuminating examples. . This book is an ideal introduction for computer professionals interested in more formal programming paradigms." (Markus Wolf, ACM Computing Reviews, Vol. 49 (12), December, 2008)