دانلود کتاب Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
49,000 تومان
روشهای رسمی برای تأیید سختافزار: ششمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2006، برتینورو، ایتالیا، 22-27 می، 2006، سخنرانیهای پیشرفته
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 244 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540343040,9783540343042 |
| نوبت چاپ | 1 |
| نویسنده | Alessandro Cimatti (eds.), Franco Fummi (auth.), Marco Bernardo, Nicola Bombieri |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روشهای رسمی برای تأیید سختافزار: ششمین مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای رایانه، ارتباطات و نرمافزار، SFM 2006، برتینورو، ایتالیا، 22-27 می، 2006، سخنرانیهای پیشرفته
این کتاب مجموعهای از 8 مقاله همراه با سخنرانیهای محققان برجسته ارائه میکند که در ویرایش ششم مدرسه بینالمللی روشهای رسمی برای طراحی سیستمهای کامپیوتری، ارتباطات و نرمافزار، SFM 2006، در برتینورو، ایتالیا در ماه مه برگزار شد. 2006.
SFM 2006 به تکنیکهای رسمی برای تأیید سختافزار اختصاص یافت و جنبههای مختلفی از فرآیند طراحی سختافزار، از جمله زبانهای طراحی سختافزار و شبیهسازی، فرمالیسمهای مشخصات ویژگی، الگوی تست خودکار را پوشش میدهد. تولید، ارزیابی مسیر نمادین، بررسی مدل مبتنی بر BDD و SAT، روشهای تصمیمگیری، اصلاح، اثبات قضیه، و تأیید واحدهای ممیز شناور.
This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2006, held in Bertinoro, Italy in May 2006.
SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, BDD-based and SAT-based model checking, decision procedures, refinement, theorem proving, and the verification of floating point units.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.