Program logics for certified compilers.

Sparad:

Bibliografiska uppgifter
Huvudupphovsmän:	Appel, Andrew W., 1960- (Författare, medförfattare), Dockins, Robert (Författare, medförfattare), Hobor, Aquinas (Författare, medförfattare), Beringer, Lennart (Författare, medförfattare), Dodds, Josiah (Författare, medförfattare), Stewart, Gordon (Författare, medförfattare), Blazy, Sandrine (Författare, medförfattare), Leroy, Xavier (Författare, medförfattare)
Materialtyp:	Bok
Språk:	engelska
Publicerad:	New York, NY., USA: Cambridge University Press, 2014.
Ämnen:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Lägg till första kommentaren!

Liknande verk