Check nearby libraries
Buy this book
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 |