خرید و دانلود نسخه کامل کتاب Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

برنامه ها و اثبات های مجاز: اولین کنفرانس بین المللی ، CPP 2011 ، کنتینگ ، تایوان ، 7-9 دسامبر 2011. مجموعه مقالات

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

نویسنده: Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

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

زبان: English

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

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