Cover Image

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers /

Show other versions (1)
Bibliographic Details
Corporate Author: DSV-IS 2003 Funchal, Madeira Islands
Other Authors: Jorge, J. A. (Joaquim Armando), Jardim Nunes, Nuno, Falcão e Cunha, João
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2003]
Series:Lecture notes in computer science ; 2844.
Subjects:
Interactive computer systems > Congresses.
Online Access:http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2844

Internet

http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2844

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.I58 D78 2003
 
Call Number Status Get It
QA76.9.I58 D78 2003 Available