Paperback Book

In stock at iMusic

Show unavailable items

Releases by Manuel Clavel

Cover for Manuel Clavel · All About Maude - a High-performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic - Lecture Notes in Computer Science (Paperback Book) (2007)
Paperback Book
2007 edition
All About Maude - a High-perform...
Manuel Clavel