Program logics for certified compilers.

Spremljeno u:

Bibliografski detalji
Glavni autori:	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)
Format:	Knjiga
Jezik:	engleski
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:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Budi prvi tko komentira!

Slični predmeti