An edition of All About Maude - A High-Performance Logical Framework
(2007)
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)
1 edition
by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
All about Maude - a High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
2007, Springer London, Limited
in English
3540719997 9783540719991
|
zzzz
Libraries near you:
WorldCat
|
2
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)
September 14, 2007, Springer
Paperback
in English
- 1 edition
3540719407 9783540719403
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| December 29, 2022 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| April 9, 2019 | Created by MARC Bot | import existing book |