Povej prijatelju o tem izdelku:
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
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
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 18. januarja 2007 |
| ISBN13 | 9783540695530 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 276 |
| Dimenzije | 155 × 235 × 15 mm · 403 g |
| Jezik | Francoščina |
| Urednik | Blandford, Ann |
| Urednik | Doherty, Gavin |