Rajaa
Hakutulokset: jose stevens
Rajaa
yksi hakutulos.
All About Maude - A High-Performance Logical Framework
muu,
2007,
englanti,
ISBN 9783540719403
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 …