Loot.co.za: Shop online in South Africa for Books, DVDs, CDs, games, electronics, computers, office, stationery, toys, and much more

Showing 1 - 1 of 1 matches in All Departments

All About Maude - A High-Performance Logical Framework - How to Specify, Program, and Verify Systems in Rewriting Logic (Mixed media product, 2007)

Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Marti-Oliet, …

R2,833 Discovery Miles 28 330

Add to cart

Ships in 10 - 15 working days

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.