
All About Maude - A High-Performance Logical Framework
- Undertittel
- How to Specify, Program, and Verify Systems in Rewriting Logic
- Forfatter
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
- Opplag
- 2007
- ISBN
- 9783540719403
- Språk
- Engelsk
- Vekt
- 249 gram
- Utgivelsesdato
- 20.7.2007
- Antall sider
- 802
