Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
All About Maude - A High-Performance Logical Framework : How to Specify
Programand Verify Systems in Rewriting Logic
SR 475
Inclusive of VAT
SR28Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR475
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
Maude is a language and system based on rewriting logic. In this comprehensive account, youll 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.
Report an issue with this product.
