manuel clavel

Grid   List

  1. Maestros y Testigos
    Maestros y Testigos
    Diego Tolsada Peris
    Tirant Lo Blanch
    Ebook
    Sofort lieferbar
    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 XXXIII Curso de la...
    14,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. All About Maude - A High-Performance Logical Framework
    All About Maude - A High-Performance Logical Framework
    Manuel Clavel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Maude is a language and system based on rewriting logic. In this comprehensive account, you'll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. All About Maude - A High-Performance Logical Framework
    All About Maude - A High-Performance Logical Framework
    Manuel Clavel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    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 features of Maude, and ...
    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>