دانلود کتاب Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
| عنوان فارسی | سیستم های تعاملی: طراحی، مشخصات و تأیید: هشتمین کارگاه بین المللی، DSV-IS 2001 گلاسکو، اسکاتلند، بریتانیا، 13 تا 15 ژوئن، 2001 مقالات تجدید نظر شده |
|---|---|
| عنوان اصلی | Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Kris Luyten, Karin Coninx (auth.), Chris Johnson (eds.) |
| ISBN | 3540428070, 9783540428077 |
| سال نشر | 2001 |
| زبان | English |
| تعداد صفحات | 221 [230] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد