この商品を友人に教える:
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Lecture Notes in Computer Science P Forbrig 2002 edition
価格
¥ 8.605
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月9日 - 年10月21日
P Forbrig の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Lecture Notes in Computer Science
P Forbrig
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement.
274 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2002年12月19日 |
| ISBN13 | 9783540002666 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 274 |
| 寸法 | 155 × 235 × 15 mm · 426 g |
| 言語 | ドイツ語 |
| 編集者 | Limbourg, Quentin |
| 編集者 | Urban, Bodo |
| 編集者 | Vanderdonckt, Jean |