دانلود کتاب Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
by Greg Morrisett (auth.), Chris Hawblitzel, Dale Miller (eds.)
|
عنوان فارسی: برنامه خبره و اثبات : دومین کنفرانس بین المللی ، CPP 2012، کیوتو، ژاپن ، دسامبر 13-15، 2012. مجموعه مقالات |