دانلود کتاب Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
by Nikolaj Bjørner (auth.), Jean-Pierre Jouannaud, Zhong Shao (eds.)
|
عنوان فارسی: برنامه خبره و اثبات: اولین کنفرانس بین المللی، CPP 2011، Kenting، تایوان، 7-9، دسامبر 2011. مجموعه مقالات |