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!

Soyez le premier à ajouter un commentaire!

Documents similaires