Reactive Systems
Modelling, Specification and Verification
Edición de la obra Reactive systems
| Autor | Luca Aceto |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9780511335358 |
| Número de Cutter | A174r |
Modelling, Specification and Verification
Edición de la obra Reactive systems
| Autor | Luca Aceto |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9780511335358 |
| Número de Cutter | A174r |