Interactive Systems : Design, Specification, and Verification
8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
Edición de la obra Interactive Systems : Design, Specification, and Verification
| Autor | Chris J. Johnson |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540455226 |
| Número de Cutter | J66i |