Results

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

Download Extras Archive File - 978-3-540-71940-3 Download extras archive files for 978-3-540-71940-3
Download Product Archive File - 978-3-540-71999-1 Download product archive files for 978-3-540-71999-1