
Vinkkaa tuotetta kavereillesi:
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Lecture Notes in Computer Science 2002 edition
P Forbrig
Hinta
Kč 1.301
Tilattu etävarastosta
Arvioitu toimitus ke - to 23. - 31. heinä
Lisää iMusic-toivelistallesi
Eller
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Lecture Notes in Computer Science 2002 edition
P Forbrig
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement.
274 pages, biography
Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | torstai 19. joulukuuta 2002 |
ISBN13 | 9783540002666 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 274 |
Mitta | 155 × 235 × 15 mm · 426 g |
Kieli | German |
Toimittaja | Limbourg, Quentin |
Toimittaja | Urban, Bodo |
Toimittaja | Vanderdonckt, Jean |
Katso kaikki joka sisältää P Forbrig ( Esim. Paperback Book )