中古あり ￥9,692より
(2025/09/23 17:19:29時点)
Interactive Systems. Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 (Lecture Notes in Computer Science, 2545)
詳しい情報
出版社: Springer(2003-02-12)
ペーパーバック: 284 ページ / 15.5 x 1.6 x 23.5 cm
ISBN-10: 3540002669 ISBN-13: 9783540002666