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
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
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
|
2
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
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
| 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 |