1 Ebooks tarafından 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
İngilizce
DRM
€102.27
