Program logics for certified compilers.

Guardat en:

Dades bibliogràfiques
Autors principals:	Appel, Andrew W., 1960- (Autor), Dockins, Robert (Autor), Hobor, Aquinas (Autor), Beringer, Lennart (Autor), Dodds, Josiah (Autor), Stewart, Gordon (Autor), Blazy, Sandrine (Autor), Leroy, Xavier (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	New York, NY., USA: Cambridge University Press, 2014.
Matèries:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Descripció
Descripció de l’ítem:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
Descripció física:	x, 458 páginas.
Bibliografia:	Includes bibliographical references (pages 442-451) and index.
ISBN:	9781107048010 (hardback)

Ítems similars