Program logics for certified compilers.

Salvato in:

Dettagli Bibliografici
Autori principali:	Appel, Andrew W., 1960- (Autore), Dockins, Robert (Autore), Hobor, Aquinas (Autore), Beringer, Lennart (Autore), Dodds, Josiah (Autore), Stewart, Gordon (Autore), Blazy, Sandrine (Autore), Leroy, Xavier (Autore)
Natura:	Libro
Lingua:	inglese
Pubblicazione:	New York, NY., USA: Cambridge University Press, 2014.
Soggetti:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

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

Documenti analoghi