Stock image for illustration purposes only - book cover, edition or condition may vary.
Interactive Systems Design, Specification, and Verification
N/A
€ 64.29
FREE Delivery in Ireland
Description for Interactive Systems Design, Specification, and Verification
Paperback. 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. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 287 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 444.
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.
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.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
287
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
276
Place of Publication
Berlin, Germany
ISBN
9783540695530
SKU
V9783540695530
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Interactive Systems Design, Specification, and Verification