Paperback Book

Dostępne w magazynie iMusic

Pokaż niedostępne przedmioty

Wydania przez 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