Autor: Patrick Lincoln

Support

1 Ebooks von Patrick Lincoln

Manuel Clavel & Francisco Duran: 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 features of Maude, and it …
PDF
Englisch
DRM
€102.27