خرید و دانلود نسخه کامل کتاب The Foundations of Program Verification

مبانی تأیید برنامه

The Foundations of Program Verification

نویسنده: Jacques Loeckx, Kurt Sieber (auth.)

ناشر: Vieweg+Teubner Verlag

سال انتشار: 1987

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

زبان: German

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

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