خرید و دانلود نسخه کامل کتاب Software Verification (Lecture Notes in Computer Science)

تایید نرم افزار (یادداشت های سخنرانی در علوم کامپیوتر)

Software Verification (Lecture Notes in Computer Science)

نویسنده: Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha Sharygina (editor)

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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