All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science, 4350)
Book Details
Author(s)
Clavel, Manuel
Publisher
Springer
ISBN / ASIN
3540719407
ISBN-13
9783540719403
Availability
Available to ship in 1-2 days.
Sales Rank
#3,417,086
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
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.
