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.
Read More
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.
Read Less
Add this copy of All About Maude-a High-Performance Logical Framework to cart. $57.85, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2007 by Springer.
Add this copy of All About Maude-a High-Performance Logical Framework to cart. $65.24, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2007 by Springer.
Add this copy of All About Maude-a High-Performance Logical Framework to cart. $67.71, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2007 by Springer.
Add this copy of All About Maude a High Performance Logical Framework to cart. $82.67, new condition, Sold by Books International rated 3.0 out of 5 stars, ships from Toronto, ON, CANADA, published 2007 by Springer.
Add this copy of All About Maude-a High-Performance Logical Framework: to cart. $87.04, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2007 by Springer.
Add this copy of All About Maude: a High-Performance Logical Framework to cart. $94.28, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2007 by Springer.
Add this copy of All About Maude: A High-Performance Logical Framework: to cart. $102.93, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2007 by Springer.
Add this copy of All About Maude a High Performance Logical Framework to cart. $117.37, Sold by Books International rated 3.0 out of 5 stars, ships from Toronto, ON, CANADA, published 2007 by Springer.
