خرید و دانلود نسخه کامل کتاب Building High Integrity Applications with SPARK

ساخت برنامه های کاربردی با یکپارچگی بالا با SPARK

Building High Integrity Applications with SPARK

نویسنده: John W Mccormick

ناشر: Cambridge University Press

سال انتشار: 2015

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

زبان: English

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

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