خرید و دانلود نسخه کامل کتاب Concise Guide to Software Verification : From Model Checking to Annotation Checking

راهنمای مختصر برای تأیید نرم افزار: از بررسی مدل تا بررسی حاشیه نویسی

Concise Guide to Software Verification : From Model Checking to Annotation Checking

نویسنده: Marieke Huisman; Anton Wijs

ناشر: Springer International Publishing

سال انتشار: 2023

تعداد صفحات: 0

زبان: English

فرمت: epub - قابل تبدیل به سایر فرمت ها

حجم فایل: 39 مگابایت