Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers - Programming and Software Engineering - Gavin Doherty - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540695530 - January 18, 2007
In case cover and title do not match, the title is correct

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers - Programming and Software Engineering

Price
Íkr 8,399
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 15 - 24
Christmas presents can be returned until 31 January
Add to your iMusic wish list

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.


276 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 18, 2007
ISBN13 9783540695530
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 276
Dimensions 155 × 235 × 15 mm   ·   403 g
Language French  
Editor Blandford, Ann
Editor Doherty, Gavin