
All About Maude - A High-Performance Logical Framework
- Undertitel
- How to Specify, Program, and Verify Systems in Rewriting Logic
- Författare
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
- Upplaga
- 2007
- ISBN
- 9783540719403
- Språk
- Engelska
- Vikt
- 249 gram
- Utgivningsdatum
- 2007-07-20
- Sidor
- 802