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

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

Bibliographic Details
Published in:Springer e-books
Main Author: Doherty, Gavin
Corporate Author: SpringerLink (Online service)
Other Authors: Blandford, Ann
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science,
Subjects:
Computer Communication Networks
Computer Science
Information storage and retrieval systems
Logic design
Multimedia systems
Software engineering
Information Storage and Retrieval
Logics and Meanings of Programs
Multimedia Information Systems
Software Engineering
User Interfaces and Human Computer Interaction
Online Access:http://dx.doi.org/10.1007/978-3-540-69554-7
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-540-69554-7
Перейти в каталог НБ ТГУ

Similar Items