دانلود کتاب Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers
| عنوان فارسی | سیستم های تعاملی طراحی ، مشخصات و تأیید صحت: دهمین کارگاه بین المللی ، DSV-IS 2003 ، فونچال ، جزیره مادیرا ، پرتغال ، 11 تا 13 ژوئن 2003. مقالات اصلاح شده |
|---|---|
| عنوان اصلی | Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Larry L. Constantine (auth.), Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.) |
| ISBN | 9783540201595, 3540201599 |
| سال نشر | 2003 |
| زبان | English |
| تعداد صفحات | 441 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 8 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد