Interactive Systems. Design, Specification, and Verification
7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (Lecture Notes in Computer Science)
Edición de la obra Interactive systems
| Autor | Philippe Palanque, Fabio Paternó |
|---|---|
| Editorial | Springer |
| Fecha de publicación | February 23, 2001 |
| Idioma | inglés |
| Páginas | 251 |
| Formato | Paperback |
| ISBN-13 | 9783540416630 |
| ISBN-10 | 3540416633 |
| OCLC | 45835561 |
| LCCN |