Gå direkt till innehållet
Interactive Systems. Design, Specification, and Verification
Interactive Systems. Design, Specification, and Verification
Spara

Interactive Systems. Design, Specification, and Verification

Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement.
Undertitel
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
ISBN
9783540695547
Språk
Engelska
Utgivningsdatum
2007-05-15
Tillgängliga elektroniska format
  • PDF - Adobe DRM
Läs e-boken här
  • E-boksläsare i mobil/surfplatta
  • Läsplatta
  • Dator