دانلود کتاب Concise Guide to Software Verification : From Model Checking to Annotation Checking
کتاب راهنمای مختصر برای تأیید نرم افزار: از بررسی مدل تا بررسی حاشیه نویسی نسخه زبان اصلی
دانلود کتاب راهنمای مختصر برای تأیید نرم افزار: از بررسی مدل تا بررسی حاشیه نویسی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Concise Guide to Software Verification : From Model Checking to Annotation Checking
نام کتاب : Concise Guide to Software Verification : From Model Checking to Annotation Checking
عنوان ترجمه شده به فارسی : راهنمای مختصر برای تأیید نرم افزار: از بررسی مدل تا بررسی حاشیه نویسی
سری : Texts in Computer Science
نویسندگان : Marieke Huisman, Anton Wijs
ناشر : Springer International Publishing
سال نشر : 2023
تعداد صفحات : 0
ISBN (شابک) : 9783031301674 , 9783031301667
زبان کتاب : English
فرمت کتاب : epub درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 39 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Front Matter
1. Introduction
2. First-Order Logic and Set Theory
3. System Modelling
4. Functional System Properties in Temporal Logic
5. Model Checking Algorithms
6. Analysing Software
7. Design by Contract Specification Languages
8. Abstract Specifications
9. Runtime Annotation Checking
10. Static Annotation Checking
Back Matter