Hardcover Book Paperback Book

Varastossa iMusicilla

Näytä loppuunmyydyt julkaisut

Julkaisut sisältäen 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)

All About Maude - a High-perform... (2007)

Cover for Manuel Clavel · Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (Hardcover Book) (2000)

Reflection in Rewriting Logic: M... (2000)

Cover for Manuel Clavel · Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (Paperback Book) (2000)

Reflection in Rewriting Logic: M... (2000)