دانلود کتاب Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
| عنوان فارسی | فناوری خودکار برای تأیید و تجزیه و تحلیل: سومین سمپوزیوم بین المللی، ATVA 2005، تایپه، تایوان، 4-7 اکتبر 2005. مجموعه مقالات |
|---|---|
| عنوان اصلی | Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.) |
| ISBN | 3540292098, 9783540292098 |
| سال نشر | 2005 |
| زبان | English |
| تعداد صفحات | 508 [515] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 8 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
وضعیت : موجود
قیمت : 66,000 تومان
مشاهد کتاب در آمازون
توضیحات
فهرست مطالب
اطلاعات قبل از خربد