خرید و دانلود نسخه کامل کتاب Introducing Software Verification with Dafny Language: Proving Program Correctness

معرفی تایید نرم افزار با زبان دافنی: اثبات صحت برنامه

Introducing Software Verification with Dafny Language: Proving Program Correctness

نویسنده: Boro Sitnikovski

ناشر: Apress

سال انتشار: 2022

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

زبان: English

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

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