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!

Description
Description:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
Description matérielle:	x, 458 páginas.
Bibliographie:	Includes bibliographical references (pages 442-451) and index.
ISBN:	9781107048010 (hardback)

Documents similaires