
All About Maude - A High-Performance Logical Framework
- Alaotsikko
- How to Specify, Program, and Verify Systems in Rewriting Logic
- Kirjailija
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
- Painos
- 2007
- ISBN
- 9783540719403
- Kieli
- englanti
- Paino
- 249 grammaa
- Julkaisupäivä
- 20.7.2007
- Sivumäärä
- 802