Program logics for certified compilers.

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Ngā kaituhi matua:	Appel, Andrew W., 1960- (Author), Dockins, Robert (Author), Hobor, Aquinas (Author), Beringer, Lennart (Author), Dodds, Josiah (Author), Stewart, Gordon (Author), Blazy, Sandrine (Author), Leroy, Xavier (Author)
Hōputu:	Pukapuka
Reo:	Ingarihi
I whakaputaina:	New York, NY., USA: Cambridge University Press, 2014.
Ngā marau:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Biblioteca Mayor de Ingeniería -

Ngā taipitopito puringa mai i Biblioteca Mayor de Ingeniería -
Tau karanga:	005.14 APP 2014
Tārua 1	Wātea Whakarite puringa