Specification and Verification of Declarative Open Interaction Models
A Logic-Based Approach
Edición de la obra Specification and verification of declarative open interaction models
| Autor | Marco Montali |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 23, 2011 |
| Páginas | 436 |
| Formato | paperback |
| ISBN-13 | 9783642145391 |
| ISBN-10 | 3642145396 |
| Número de Cutter | M763s |