Interactive systems. - design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 2003 : revised papers
- Författare
- Madeira Islands) DSV-IS 2003 (2003 : Funchal
- (Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.).)
- Genre
- Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2003 | Tyskland, Berlin, New York | p. cm. |