Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS - detaljert visning

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

DSV-IS 2003
Bok Engelsk 2003


Utgitt	Berlin : Springer , c2003
Omfang	XIII, 427 s. : ill.
Emner	Interactive computer systems Brukergrensesnitt Interaktive systemer Interaktivsystemer
ISBN	3540201599