دانلود کتاب Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
49,000 تومان
فناوری خودکار برای تأیید و تجزیه و تحلیل: دومین کنفرانس بین المللی، ATVA 2004، تایپه، تایوان، ROC، 31 اکتبر تا 3 نوامبر 2004. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 510 |
| حجم فایل | 9 مگابایت |
| کد کتاب | 3540236104,9783540236108 |
| نوبت چاپ | 1 |
| نویسنده | Farn Wang (eds.), Rajeev Alur (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2004 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
فناوری خودکار برای تأیید و تجزیه و تحلیل: دومین کنفرانس بین المللی، ATVA 2004، تایپه، تایوان، ROC، 31 اکتبر تا 3 نوامبر 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری دومین کنفرانس بینالمللی فناوری خودکار برای تأیید و تحلیل، ATVA 2004 است که در تایپه، تایوان در اکتبر/نوامبر 2004 برگزار شد.
24 مقاله کامل اصلاحشده با هم ارائه شدهاند. با چکیده 6 ارائه دعوت شده و 7 مقاله ویژه با دقت بررسی و از بین 69 مقاله ارسالی انتخاب شد. از جمله موضوعات مطرح شده عبارتند از نظریه بررسی مدل، نظریه اثبات قضیه، تکنیکهای کاهش فضای حالت، زبانها در تأیید خودکار، تحلیل پارامتری، بهینهسازی، تجزیه و تحلیل عملکرد رسمی، سیستمهای زمان واقعی، سیستمهای تعبیهشده، سیستمهای حالت بینهایت، شبکههای پتری. ، UML، سنتز و ابزارها.
This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004.
The 24 revised full papers presented together with abstracts of 6 invited presentations and 7 special track papers were carefully reviewed and selected from 69 submissions. Among the topics addressed are model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, parametric analysis, optimization, formal performance analysis, real-time systems, embedded systems, infinite-state systems, Petri nets, UML, synthesis, and tools.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.