The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel (Author), Francisco Durán (Author), StevenEker (Author), PatrickLincoln (Author), NarcisoMartí-Oliet (Author), JoséMeseguer (Author), Carolyn Talcott (Author)

  • New

    Paperback 2007

    $93.77
Synopsis

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.

$93.77

Save:$4.35 (4%)

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 797
 Edition: Pap/Cdr
 Publisher: Springer
Published: 20 Jul 2007
ISBN 10: 3540719407
ISBN 13: 9783540719403

Media 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)