All about Maude - a High-Performance Logical Framework
Subtitle: How to Specify, Program, and Verify Systems in Rewriting Logic
Publisher: Springer London, Limited
Published: 2007
Language: eng
Number of pages: 802
ISBN-13: 9783540719991
Subjects: Human information processing; Logic; Computer science