Interactive Systems:Design, Specification, and Verification
9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12-14, 2002 Revised Papers
Edición de la obra Interactive Systems:Design, Specification, and Verification
| Autor | Peter Forbrig |
|---|---|
| Editorial | Springer-Verlag Berlin Heidelberg |
| Fecha de publicación | 2002 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [Elektronische Ressource] : |
| ISBN-13 | 9783540362357 |
| ISBN-10 | 3540362355 |
| OCLC | 699821155 |
| Serie | Lecture Notes in Computer Science -- 2545 · Lecture notes in computer science -- 2545. |