Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Lecture Notes in Computer Science - P Forbrig - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540002666 - torstai 19. joulukuuta 2002
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

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