
Interactive Systems: Design, Specification, and Verification
1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Edición de la obra Interactive Systems: Design, Specification, and Verification
| Autor | Fabio Paternó |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 1995 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Páginas | 447 |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642871177, 9783642871153 |
| ISBN-10 | 3642871178, 3642871151 |
| OCLC | 851380895 |
| Serie |