Program logics for certified compilers.

Saved in:

Bibliografiske detaljer
Main Authors:	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)
Format:	Bog
Sprog:	engelsk
Udgivet:	New York, NY., USA: Cambridge University Press, 2014.
Fag:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Beskrivelse
Emne beskrivelse:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
Fysisk beskrivelse:	x, 458 páginas.
Bibliografi:	Includes bibliographical references (pages 442-451) and index.
ISBN:	9781107048010 (hardback)

Lignende værker