Pastāsti draugiem par šo preci:
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 2002 edition
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
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2002. gada 19. decembris |
| ISBN13 | 9783540002666 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 274 |
| Izmēri | 155 × 235 × 15 mm · 426 g |
| Valoda | Vācu |
| Redaktors | Limbourg, Quentin |
| Redaktors | Urban, Bodo |
| Redaktors | Vanderdonckt, Jean |