Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers /
Graham, T. C. Nicholas.
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / [electronic resource] : edited by T. C. Nicholas Graham, Philippe Palanque. - 1 ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5136 0302-9743 ; .
9783540705697
Sistemas interactivos de computador
QA76.9.I58 / G73 2008
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / [electronic resource] : edited by T. C. Nicholas Graham, Philippe Palanque. - 1 ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5136 0302-9743 ; .
9783540705697
Sistemas interactivos de computador
QA76.9.I58 / G73 2008