All about Maude - a High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Edición de la obra All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Edición de la obra All About Maude - A High-Performance Logical Framework
| Editorial | Springer London, Limited |
|---|
| Fecha de publicación | 2007 |
|---|
| Idioma | inglés |
|---|
| Páginas | 802 |
|---|
| ISBN-13 | 9783540719991 |
|---|
| Número de Cutter | C617a |
|---|