Interactive Systems: Design, Specification, and Verification
8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science)
Edición de la obra Interactive Systems: Design, Specification, and Verification
| Autor | Chris Johnson |
|---|---|
| Editorial | Springer |
| Fecha de publicación | November 28, 2001 |
| Idioma | inglés |
| Páginas | 219 |
| Formato | Paperback |
| ISBN-13 | 9783540428077 |
| ISBN-10 | 3540428070 |
| Número de Cutter | J66i |