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 | 2010 |
| Idioma | inglés |
| ISBN-13 | 9783642145384 |
| Número de Cutter | M763s |