Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

لا توجد تقييمات بعد
2006 · الإنجليزية · كيندل · 3 طبعات
أضف إلى الرف

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


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

المراجعات

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

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

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

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


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