Interactive systems : design, specification, and verification : 12th international workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers
Stephen W. Gilroy, Michael D. Harrison (eds.)
Bok Engelsk 2006 DSV-IS 2005
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | XI, 263 s. : ill.
|
| Emner | |
| ISBN | 3540341455. - 9783540341451
|
