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.
| ISBN: | 9783540695530 |
| Publication date: | 18th January 2007 |
| Author: | DSVIS 2006, Gavin Doherty, Ann Blandford |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 268 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Human–computer interaction Software Engineering Data warehousing Information retrieval Graphical and digital media applications |
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.
Interactive Systems features in the following genres: Mathematical theory of computation, Human–computer interaction, Software Engineering, Data warehousing, Information retrieval, Graphical and digital media applications
Interactive Systems is available in Paperback
Interactive Systems was written by DSVIS 2006, Gavin Doherty, Ann Blandford and published by Springer an imprint of Springer Berlin Heidelberg
Interactive Systems has 268 pages
Yes it is part of Lecture Notes in Computer Science series