Tools

LEADER 01843cam 22004694a 4500

001 ocm53183684;

003 OCoLC;

005 20141212173513.0;

008 031003s2003 gw a b 101 0 eng ;

010 a| 2003062022;

015 a| GBA3-78592;

016 7 a| 9688490832| GyFmDB;

020 a| 3540201599 (alk. paper);

035 a| (Sirsi) o53183684;

035 a| (OCoLC)53183684;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.I58b| D78 2003;

072 7 a| QA2| lcco;

082 00 a| 004/.332| 22;

111 2 a| DSV-IS 2003d| (2003 :c| Funchal, Madeira Islands)=| ^A568689;

245 10 a| Interactive systems :b| design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers /c| Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.).;

300 a| xiii, 427 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 2844;

504 a| Includes bibliographical references and index.;

650 0 a| Interactive computer systemsv| Congresses.=| ^A125754;

700 1 a| Jorge, J. A.q| (Joaquim A.)?| UNAUTHORIZED;

700 1 a| Jardim Nunes, Nuno.=| ^A568690;

700 1 a| Falcão e Cunha, João.=| ^A568691;

830 0 a| Lecture notes in computer sciencev| 2844.=| ^A466336;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har030125021c| 57.78 EUR;

980 a| 2003-12-31b| 71d| 4.72e| 67.45f| 315175;

596 a| 1;

998 a| 937344;

999 a| QA76.9.I58 D78 2003w| LCc| 1i| 30372012130651d| 2/19/2004l| JGESm| JOYNERp| $67.45r| Ys| Yt| JGESBKu| 1/21/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers / Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.).

Author/creator	DSV-IS 2003
Other author	Jorge, J. A. (Joaquim A.)
Other author	Jardim Nunes, Nuno.
Other author	Falcão e Cunha, João.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2003.
Description	xiii, 427 pages : illustrations ; 24 cm.
Subjects	Interactive computer systems--Congresses.

Series	Lecture notes in computer science ; 2844 Lecture notes in computer science 2844. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2003062022
ISBN	3540201599 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.I58 D78 2003	✔ Available	Place Hold

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers / Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.).

Click here for more information about this title

Availability