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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540002666 - 19. desember 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
Íkr 6.839

Bestillingsvarer

Forventes levert 23. - 31. jul
Legg til iMusic ønskeliste
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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 19. desember 2002
ISBN13 9783540002666
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 274
Mål 155 × 235 × 15 mm   ·   426 g
Språk Tysk  
Redaktør Limbourg, Quentin
Redaktør Urban, Bodo
Redaktør Vanderdonckt, Jean