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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540002666 - 19. december 2002
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
CA$ 95,61

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 28. jul.
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 19. december 2002
ISBN13 9783540002666
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 274
Mål 155 × 235 × 15 mm   ·   426 g
Sprog Tysk  
Klipper/redaktør Limbourg, Quentin
Klipper/redaktør Urban, Bodo
Klipper/redaktør Vanderdonckt, Jean