Program logics for certified compilers.

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	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)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	New York, NY., USA: Cambridge University Press, 2014.
Témata:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!

Podobné jednotky