Reactive Systems
Modelling, Specification and Verification
Edición de la obra Reactive systems
| Autor | Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9780511334122 |
| Número de Cutter | A174r |