shop by
Category
items
0 

All About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic (Paperback)

Author: Clavel, Manuel

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

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.

Specifications

Publisher Springer-Verlag New York Inc
Mfg Part# 9783540719403
SKU 204504339
Format Paperback
ISBN10 3540719407
Release Date 6/1/2007
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT