خرید و دانلود نسخه کامل کتاب Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

برنامه های مدارک و مدارک: سومین کنفرانس بین المللی، CPP 2013، ملبورن، VIC، استرالیا، 11-13 دسامبر 2013، پرونده ها

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

نویسنده: Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.)

ناشر: Springer International Publishing

سال انتشار: 2013

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

زبان: English

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

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