Reactive Systems
Modelling, Specification and Verification
Edición de la obra Reactive Systems
| Autor | L. Aceto, Anna Ingolfsdottir, Kim Guldstrand Larson, Jiri Srba |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| Páginas | 284 |
| ISBN-13 | 9781281040411 |
| Número de Cutter | A174r |