Program logics for certified compilers.

Guardado en:

Detalles Bibliográficos
Autores principales:	Appel, Andrew W., 1960- (Autor), Dockins, Robert (Autor), Hobor, Aquinas (Autor), Beringer, Lennart (Autor), Dodds, Josiah (Autor), Stewart, Gordon (Autor), Blazy, Sandrine (Autor), Leroy, Xavier (Autor)
Formato:	Libro
Lenguaje:	inglés
Publicado:	New York, NY., USA: Cambridge University Press, 2014.
Materias:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Sea el primero en dejar un comentario!

Ejemplares similares