Program logics for certified compilers [ Livre] / Andrew W., Appel

Auteur principal: Appel, Andrew W., 1960-....Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : New York : Cambridge University Press, 2014Description : 1 vol. (X-458 p.) ; 24 cmISBN: 9781107048010.Classification: D ProgrammationSujet - Nom commun: Compilateurs (logiciels) | Ordinateurs -- Programmation
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
D APP (Browse shelf) Available D Programmation 033409

Powered by Koha