خرید و دانلود نسخه کامل کتاب Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
قیمت اصلی 173,000 تومان بود.98,000 تومانقیمت فعلی 98,000 تومان است.
تعداد فروش: 71
| عنوان فارسی |
فناوری خودکار برای تأیید و تحلیل: دومین کنفرانس بین المللی ، ATVA 2004 ، تایپه ، تایوان ، ROC ، 31 اکتبر – 3 نوامبر 2004. مجموعه مقالات |
|---|---|
| عنوان اصلی | Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Rajeev Alur (auth.), Farn Wang (eds.) |
| ISBN | 3540236104, 9783540304760 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 519 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 18 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری دومین کنفرانس بینالمللی فناوری خودکار برای تأیید و تحلیل، ATVA 2004 است که در تایپه، تایوان در اکتبر/نوامبر 2004 برگزار شد.
24 مقاله کامل اصلاحشده با هم ارائه شدند. با چکیده 6 ارائه دعوت شده و 7 مقاله ویژه با دقت بررسی و از بین 69 مقاله ارسالی انتخاب شد. از جمله موضوعات مطرح شده عبارتند از نظریه بررسی مدل، نظریه اثبات قضیه، تکنیکهای کاهش فضای حالت، زبانها در تأیید خودکار، تحلیل پارامتری، بهینهسازی، تحلیل عملکرد رسمی، سیستمهای زمان واقعی، سیستمهای جاسازی شده، سیستمهای حالت نامحدود، شبکههای پتری. ، UML، سنتز و ابزارها.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.