Program logics for certified compilers.

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Appel, Andrew W., 1960- (Author), Dockins, Robert (Author), Hobor, Aquinas (Author), Beringer, Lennart (Author), Dodds, Josiah (Author), Stewart, Gordon (Author), Blazy, Sandrine (Author), Leroy, Xavier (Author)
Format:	Knjiga
Jezik:	angleščina
Izdano:	New York, NY., USA: Cambridge University Press, 2014.
Teme:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Oznake:	Označite Brez oznak, prvi označite!

Biblioteca Mayor de Ingeniería -

Podrobnosti zaloge Biblioteca Mayor de Ingeniería -
Signatura:	005.14 APP 2014
Kopija 1	Prosto Rezerviraj