Program Logics for Certified CompilersAndrew Appel
Program Logics for Certified Compilers
Andrew Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Sandrine Blazy, חביאר לרוי
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
book by Andrew Appel
פרטי הספר
- שפה
- English
- עמודים
- 472
מקור הנתונים: Wikidata