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

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers

DSV-IS 2000
Bok Engelsk 2001


Utgitt	Berlin : Springer , c2001
Omfang	X, 250 s. : ill.
Emner	Brukergrensesnitt Interaktive systemer Interaktivsystemer
ISBN	3540416633