توضیحات
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011.
The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات ارجاعی اولین کنفرانس بینالمللی برنامهها و شواهد گواهی شده، CPP 2011، برگزار شده در کنتینگ، تایوان، در دسامبر 2011 است. و از بین 49 مورد ارسالی انتخاب شد. آنها در بخشهای موضوعی در مورد منطق و انواع، گواهیها، رسمیسازی، دستیاران اثبات، تدریس، زبانهای برنامهنویسی، گواهینامه سختافزار، متفرقه، و پرلهای اثبات سازماندهی شدهاند.
tag : دانلود کتاب برنامه های تایید شده و مدارک: اولین کنفرانس بین المللی، CPP 2011، کنتینگ، تایوان، 7-9 دسامبر 2011. مجموعه مقالات , Download برنامه های تایید شده و مدارک: اولین کنفرانس بین المللی، CPP 2011، کنتینگ، تایوان، 7-9 دسامبر 2011. مجموعه مقالات , دانلود برنامه های تایید شده و مدارک: اولین کنفرانس بین المللی، CPP 2011، کنتینگ، تایوان، 7-9 دسامبر 2011. مجموعه مقالات , Download Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings Book , برنامه های تایید شده و مدارک: اولین کنفرانس بین المللی، CPP 2011، کنتینگ، تایوان، 7-9 دسامبر 2011. مجموعه مقالات دانلود , buy برنامه های تایید شده و مدارک: اولین کنفرانس بین المللی، CPP 2011، کنتینگ، تایوان، 7-9 دسامبر 2011. مجموعه مقالات , خرید کتاب برنامه های تایید شده و مدارک: اولین کنفرانس بین المللی، CPP 2011، کنتینگ، تایوان، 7-9 دسامبر 2011. مجموعه مقالات , دانلود کتاب Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings , کتاب Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings , دانلود Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings , خرید Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings , خرید کتاب Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.