Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /
Doherty, Gavin.
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / [electronic resource] : edited by Gavin Doherty, Ann Blandford. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4323 0302-9743 ; .
9783540695547
Sistemas interactivos de computador
QA76.9.I58 / D64 2007
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / [electronic resource] : edited by Gavin Doherty, Ann Blandford. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4323 0302-9743 ; .
9783540695547
Sistemas interactivos de computador
QA76.9.I58 / D64 2007