Interactive systems : design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /

Interactive systems : design, specification, and verification, 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /

Show other versions (3)

Annotation This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented...

Full description

Saved in:
Bibliographic Details
Corporate Author: DSV-IS 2008 Kingston, Ont.
Other Authors: Graham, T. C. Nicholas (Thomas Craig Nicholas), 1964-, Palanque, Philippe, 1966-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, ©2008
Series:LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 5136
Subjects:
Interactive computer systems > Congresses
Systèmes conversationnels (Informatique) > Congrès
Benutzermodell
Benutzeroberfläche
Echtzeitverarbeitung
Informatique
Interactive computer systems
Mensch-Maschine-Kommunikation
Multimodales System
Softwareentwicklung
Systementwurf
Benutzeroberfläche
Computer Science
Computer Communication Networks
Information Storage and Retrieval
Logics and Meanings of Programs
Multimedia Information Systems
Software Engineering
User Interfaces and Human Computer Interaction
Kongress > Kingston (Ontario) > 2008
Conference papers and proceedings
Kingston (Ontario, 2008)
Kongress
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items