Cover Image
Read Now

Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

Bibliographic Details
Main Author: Jorge, Joaquim
Other Authors: Falcao e Cunha, Joao, Jardim Nunes, Nuno
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003
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
User Interfaces And Human Computer Interaction
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540201595
978-3-540-20159-5

Similar Items