Items related to All About Maude - A High-Performance Logical Framework:...
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering) - Softcover
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.
"synopsis" may belong to another edition of this title.
Review:
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)
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2007
- ISBN 10 3540719407
- ISBN 13 9783540719403
- BindingPaperback
- Number of pages824
Buy New
Learn more about this copy
US$ 46.22
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
All About Maude - A High-Performance Logical Framework (Pb)
Published by
Springer
(2007)
ISBN 10: 3540719407
ISBN 13: 9783540719403
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-192769
Buy New
US$ 46.22
Convert currency
Stock Image
All About Maude - A High-Performance Logical Framework (Pb)
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-65988
Buy New
US$ 46.59
Convert currency
Stock Image
All About Maude - A High-Performance Logical Framework
Seller:
Rating
Book Description Condition: New. pp. 826. Seller Inventory # 26301612
Buy New
US$ 43.16
Convert currency
Stock Image
All About Maude - A High-Performance Logical Framework (Pb)
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-65988
Buy New
US$ 47.81
Convert currency
Stock Image
All About Maude - A High-Performance Logical Framework
Seller:
Rating
Book Description Condition: New. pp. 826 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 7546355
Buy New
US$ 41.73
Convert currency
Stock Image
ALL ABOUT MAUDE: A HIGH-PERFORMANCE LOGICAL FRAMEWORK
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-285827
Buy New
US$ 68.83
Convert currency
Seller Image
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science) by Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, MartÃ-Oliet, Narciso, Meseguer, José, Talcott, Carolyn [Paperback ]
Print on Demand
Seller:
Rating
Book Description Soft Cover. Condition: new. This item is printed on demand. Seller Inventory # 9783540719403
Buy New
US$ 94.94
Convert currency
Stock Image
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering)
Seller:
Rating
Book Description Condition: New. Book is in NEW condition. Seller Inventory # 3540719407-2-1
Buy New
US$ 99.99
Convert currency
Stock Image
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Programming and Software Engineering)
Published by
Springer
(2007)
ISBN 10: 3540719407
ISBN 13: 9783540719403
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020175578
Buy New
US$ 106.83
Convert currency
Stock Image
All About Maude - A High-Performance Logical Framework : How to Specify; Program; and Verify Systems in Rewriting Logic
Published by
Springer
(2007)
ISBN 10: 3540719407
ISBN 13: 9783540719403
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540719403_lsuk
Buy New
US$ 110.90
Convert currency