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!!

Biblioteca Mayor de Ingeniería -

Dettagli sul posseduto da Biblioteca Mayor de Ingeniería -
Collocazione:	005.14 APP 2014
Copia 1	Disponibile Richiedi