ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب A Roadmap for Formal Property Verification

دانلود کتاب نقشه راه برای تأیید رسمی املاک

A Roadmap for Formal Property Verification

مشخصات کتاب

A Roadmap for Formal Property Verification

ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 9781402047572, 9781402047589 
ناشر: Springer Netherlands 
سال نشر: 2006 
تعداد صفحات: 259 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

قیمت کتاب (تومان) : 38,000



کلمات کلیدی مربوط به کتاب نقشه راه برای تأیید رسمی املاک: مدارها و سیستم ها، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی، الکترونیک و میکروالکترونیک، ابزار دقیق، طراحی منطق، مهندسی الکترونیک و کامپیوتر، منطق ریاضی و زبان های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب A Roadmap for Formal Property Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نقشه راه برای تأیید رسمی املاک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نقشه راه برای تأیید رسمی املاک



ادغام تأیید رسمی مالکیت (FPV) در فرآیند طراحی موجود، چندین سؤال جالب را ایجاد می کند. آیا به اندازه کافی خواص نوشته ام؟ آیا من یک مجموعه ثابت از ویژگی ها نوشته ام؟ وقتی ابزار FPV با مشکلات ظرفیت مواجه شد، چه کاری باید انجام دهم؟ این کتاب پاسخ‌های این سؤالات را توسعه می‌دهد و آنها را در یک نقشه راه برای تأیید رسمی مالکیت قرار می‌دهد - نقشه راهی که نشان می‌دهد چگونه فناوری FPV را به جریان اعتبارسنجی سنتی چسباند. نقشه راه برای تأیید مالکیت رسمی، مسائل کلیدی در این فناوری قدرتمند را از طریق مثال‌های ساده بررسی می‌کند - برای خواندن بیشتر بخش‌های این کتاب به هیچ پیش‌زمینه‌ای در مورد روش‌های رسمی نیاز ندارید.


توضیحاتی درمورد کتاب به خارجی

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? 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. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.



فهرست مطالب

Front Matter....Pages I-XIII
Introduction....Pages 1-17
Languages for Temporal Properties....Pages 19-58
How Does the Property Checker Work?....Pages 59-100
Is My Specification Consistent?....Pages 101-128
Have I Written Enough Properties?....Pages 129-155
Design Intent Coverage....Pages 157-194
Test Generation Games....Pages 195-216
A Roadmap for Formal Property Verification....Pages 217-241
Back Matter....Pages 243-251




نظرات کاربران