Interactive Systems. Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science)
Edición de la obra Interactive systems
| Autor | Ann Blandford |
|---|---|
| Editorial | Springer |
| Fecha de publicación | March 5, 2007 |
| Idioma | inglés |
| Páginas | 269 |
| Formato | Paperback |
| ISBN-13 | 9783540695530 |
| ISBN-10 | 3540695532 |
| OCLC | 80749208 |
| LCCN | 2006939792 |
| Número de Cutter |