Download Interactive Systems. Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science) book
Par lansberry beatrice le vendredi, juillet 13 2012, 15:54 - Lien permanent
Interactive Systems. Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science) book download
Bodo Urban, Jean Vanderdonckt and Quentin Limbourg
Download Interactive Systems. Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science)
Vanderdonckt: Publications, bio, bibliography, etc Lecture Notes in Computer. DSV-IS'02 9th workshop on Design Specification and Verification of Interactive Systems, University of Rostock, 12-14 June 2002. . . Interactive Systems: Design, Specification, and Verification : 9th. Lecture Notes in Computer. pp. 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June. Amazon.com: Kindle Edition - Specifications: Books Interactive Systems. Interactive Systems by Germany Dsv-Is 200 2002 Rostock, B. 9th International Workshop on Design, Specification and Verification of Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. of Interactive Systems Philippe Palanque (ICS) - IRIT - UMR 5505 . Lecture Notes in Computer. Lecture Notes in Computer