Program logics for certified compilers.

Bewaard in:

Bibliografische gegevens
Hoofdauteurs:	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)
Formaat:	Boek
Taal:	Engels
Gepubliceerd in:	New York, NY., USA: Cambridge University Press, 2014.
Onderwerpen:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Wees de eerste die reageert!

Gelijkaardige items