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 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 411 |
| ISBN-13 | 9783642145377 |
| ISBN-10 | 364214537X |
| OCLC | 648933593 |
| LCCN | 2010931106 |
| Serie |