автор: Steven Eker

поддержка

1 Электронные книги 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
английский
DRM
€102.27