All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)
Edición de la obra All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science)
Edición de la obra All About Maude - A High-Performance Logical Framework
| Editorial | Springer |
|---|
| Fecha de publicación | September 14, 2007 |
|---|
| Idioma | inglés |
|---|
| Páginas | 797 |
|---|
| Formato | Paperback |
|---|
| ISBN-13 | 9783540719403 |
|---|
| ISBN-10 | 3540719407 |
|---|
| OCLC | 163584035 |
|---|
| Número de Cutter | C617a |
|---|