دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: [1 ed.] نویسندگان: Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.) سری: Lecture Notes in Computer Science 7086 ISBN (شابک) : 3642253784, 9783642253782 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 401 [418] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه های تایید شده و مدارک: اولین کنفرانس بین المللی، CPP 2011، کنتینگ، تایوان، 7-9 دسامبر 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
