Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.
Styl cytowania ChicagoAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Styl cytowania MLAAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..