Program Logics for Certified Compilers

Program Logics for Certified Compilers

Andrew W. Appel , Robert Dockins , Aquinas Hobor
لا توجد تقييمات بعد
2014 · الإنجليزية · كيندل · 2 طبعات
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب

المراجعات

لا توجد مراجعات بعد

كن أول من يراجع هذا الكتاب وشارك أفكارك

تسجيل الدخول للمراجعة
أضف إلى الرف

قيم هذا الكتاب


تصدير مجلة الكتاب