خرید و دانلود نسخه کامل کتاب Rigorous Software Development: An Introduction to Program Verification

توسعه دقیق نرم افزار: مقدمه ای برای تأیید برنامه

Rigorous Software Development: An Introduction to Program Verification

نویسنده: José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa (auth.)

ناشر: Springer-Verlag London

سال انتشار: 2011

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

زبان: English

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

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