Autor: Steven Eker

Ajutor

1 Ebooks de Steven Eker

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
Engleză
DRM
€102.27