Extra Materials Archive

Book cover

All About Maude - A High-Performance Logical Framework

How to Specify, Program, and Verify Systems in Rewriting Logic

© 2007

Soft cover - Print (ISBN: 978-3-540-71940-3)

Electronic (ISBN: 978-3-540-71999-1)

View this book on SpringerLink

Product Archive File 978-3-540-71940-3

Extra Materials File 978-3-540-71999-1