Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003 : revised papers
Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)
Bok Engelsk 2003 DSV-IS 2003
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | XIII, 427 s. : ill.
|
| Emner | |
| ISBN | 3540201599
|
