Program logics for certified compilers.

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Appel, Andrew W., 1960- (Egilea), Dockins, Robert (Egilea), Hobor, Aquinas (Egilea), Beringer, Lennart (Egilea), Dodds, Josiah (Egilea), Stewart, Gordon (Egilea), Blazy, Sandrine (Egilea), Leroy, Xavier (Egilea)
Formatua:	Liburua
Hizkuntza:	ingelesa
Argitaratua:	New York, NY., USA: Cambridge University Press, 2014.
Gaiak:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Deskribapena
Alearen deskribapena:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
Deskribapen fisikoa:	x, 458 páginas.
Bibliografia:	Includes bibliographical references (pages 442-451) and index.
ISBN:	9781107048010 (hardback)

Antzeko izenburuak