تحميل...

Program logics for certified compilers /

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Appel, Andrew W., 1960-
التنسيق:	Printed Book
اللغة:	English
الموضوعات:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

تفاصيل المقتنيات من University of Calicut
رقم الطلب:	005.14 APP/P
النسخة	الحالة المباشرة غير متاحة

مواد مشابهة