دانلود کتاب Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science, 2220)
| عنوان فارسی | سیستم های تعاملی: طراحی، مشخصات، و تأیید: هشتمین کارگاه بین المللی، DSV-IS 2001. گلاسکو، اسکاتلند، بریتانیا، 13-15 ژوئن، 2001. مقالات تجدید نظر شده (یادداشت های سخنرانی در علوم کامپیوتر، 2220) |
|---|---|
| عنوان اصلی | Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science, 2220) |
| ناشر | Springer |
| نویسنده | Chris J. Johnson (editor) |
| ISBN | 3540428070, 9783540428077 |
| سال نشر | 2001 |
| زبان | English |
| تعداد صفحات | 231 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد