دانلود کتاب A roadmap for formal property verification
36,000 تومان
نقشه راه برای تأیید رسمی اموال
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer |
| تعداد صفحه | 260 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 1402047576,9781402047572 |
| نوبت چاپ | 1 |
| نویسنده | |
|---|---|
| زبان |
انگلیسی |
| فرمت |
|
| سال انتشار |
2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نقشه راه برای تأیید رسمی اموال
ادغام تأیید مالکیت رسمی (FPV) در یک فرآیند طراحی موجود چندین سؤال جالب را ایجاد می کند. این کتاب پاسخ به این سؤالات را توسعه می دهد و آنها را در یک نقشه راه برای تأیید رسمی دارایی قرار می دهد – نقشه راهی که نشان می دهد چگونه فناوری FPV را به جریان اعتبارسنجی سنتی چسباند. این کتاب مسائل کلیدی در این فناوری قدرتمند را از طریق مثال‌های ساده که عمدتاً به هیچ پیش‌زمینه‌ای در مورد روش‌های رسمی نیاز ندارد، بررسی می‌کند.
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.