Program logics for certified compilers.

Furkejuvvon:

Bibliográfalaš dieđut
Váldodahkkit:	Appel, Andrew W., 1960- (Dahkki), Dockins, Robert (Dahkki), Hobor, Aquinas (Dahkki), Beringer, Lennart (Dahkki), Dodds, Josiah (Dahkki), Stewart, Gordon (Dahkki), Blazy, Sandrine (Dahkki), Leroy, Xavier (Dahkki)
Materiálatiipa:	Girji
Giella:	eaŋgalasgiella
Almmustuhtton:	New York, NY., USA: Cambridge University Press, 2014.
Fáttát:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Lasit vuosttaš kommeantta. Visot kommeanttat leat almmolaččat.!

Geahča maid