Sökt på: Böcker av Manuel Clavel
totalt 4 träffar
Maestros y Testigos
Charles de Foucauld, Miguel de Unamuno, Teresa de Lisieux, Dietrich Bonhoeffer, Juan XXIII, Edith Stein, Henri de Lubac, Madeleine Delbrel, Teilhard de Chardin, Etty Hillesum. El …
All About Maude - A High-Performance Logical Framework
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and …
Reflection in Rewriting Logic
Clavel's book proposes a general theory of reflective logics and reflective declarative programming languages that provides a conceptual foundation for judging the extent to which …
All About Maude - A High-Performance Logical Framework
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and …