Yazar: Steven Eker

Destek

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 …
PDF
İngilizce
DRM
€100.71