| Type |  Book |
| ชื่อเรื่อง | Interactive systems : design, specification, and verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003, revised papers / Joaquim A. Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha (eds.) |
| ผู้แต่ง | DSV-IS 2003 (2003 : Funchal, Madeira Islands) |
| ISBN | 3540201599 |
| พิมพลักษณ์ | Berlin : Springer, c2003 |
| รูปเล่ม | xiii, 427 p. : ill. ; 24 cm |
| หัวเรื่อง | Interactive computer systems --Congresses [] |