Program logics for certified compilers.

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Appel, Andrew W., 1960- (Auteur), Dockins, Robert (Auteur), Hobor, Aquinas (Auteur), Beringer, Lennart (Auteur), Dodds, Josiah (Auteur), Stewart, Gordon (Auteur), Blazy, Sandrine (Auteur), Leroy, Xavier (Auteur)
Format:	Livre
Langue:	anglais
Publié:	New York, NY., USA: Cambridge University Press, 2014.
Sujets:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Biblioteca Mayor de Ingeniería -

Informations d'exemplaires de Biblioteca Mayor de Ingeniería -
Cote:	005.14 APP 2014
Exemplaire 1	Disponible Réserver