Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers
Peter Forbrig ... [et al.] (eds.)
Bok Engelsk 2002 DSV-IS 2002
Annen tittel | |
---|---|
Utgitt | Berlin : Springer , c2002
|
Omfang | X, 267 s. : ill.
|
Emner | |
Dewey | |
ISBN | 3540002669
|