טוען...

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
עותק	סטטוס עדכני לא זמין

פריטים דומים