دانلود کتاب Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers
| عنوان فارسی | سیستم های تعاملی: طراحی ، مشخصات و تأیید صحت: نهمین کارگاه بین المللی ، DSV-IS 2002 روستوک ، آلمان ، 12 تا 14 ژوئن ، مقالات تجدید نظر شده 2002 |
|---|---|
| عنوان اصلی | Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Paul Curzon, Ann Blandford (auth.), Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban (eds.) |
| ISBN | 9783540002666, 9783540362357 |
| سال نشر | 2002 |
| زبان | English |
| تعداد صفحات | 277 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد
توضیحات
فهرست مطالب
اطلاعات قبل از خربد