Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)
Berlin ; Tokyo : Springer, c2003
図書等2003
xiii, 427 p. : ill. ; 24 cm
Interactive systems : design, specification, and verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 2003 : revised papers
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
DSV-IS [ Workshop on Design, Specification, and Verification of Interactive Systems, International ] [ International Workshop on Design, Specification, and Verification of Interactive Systems ] [ Eurographics Workshop on Design, Specification, and Verification of Interactive Systems ]
LCC:QA76.9.I58
3540201599
BA64387083
