Manuel Clavel – författare
Visar alla böcker från författaren Manuel Clavel. Handla med fri frakt och snabb leverans.
4 produkter
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Av Manuel Clavel, Francisco Durán m. fl.
2007
1186 kr
Lägg i varukorg
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 its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient …
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Av Carolyn Talcott, Jose Meseguer m. fl.
E-bok, 2007
1335 kr
Lägg i varukorg
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 its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient …
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Inbunden, 2000
665 kr
Tillfälligt slut
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Häftad
309 kr
Tillfälligt slut
