Interactive Systems. Design, Specification, and Verification
10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
Edición de la obra Interactive Systems. Design, Specification, and Verification
| Autor | Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540399292 |
| Número de Cutter | J82i |