Interactive Systems. Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Edición de la obra Interactive Systems. Design, Specification, and Verification
| Autor | Gavin Doherty, Ann Blandford |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540695547 |
| Número de Cutter | D655i |