خرید و دانلود نسخه کامل کتاب Challenges of Software Verification (Intelligent Systems Reference Library, 238)

چالش های تأیید نرم افزار (کتابخانه مرجع سیستم های هوشمند، 238)

Challenges of Software Verification (Intelligent Systems Reference Library, 238)

نویسنده: Vincenzo Arceri (editor), Agostino Cortesi (editor), Pietro Ferrara (editor), Martina Olliaro (editor)

ناشر: Springer

سال انتشار: 2023

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

زبان: English

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

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