Program logics for certified compilers.

Tallennettuna:

Bibliografiset tiedot
Päätekijät:	Appel, Andrew W., 1960- (Tekijä), Dockins, Robert (Tekijä), Hobor, Aquinas (Tekijä), Beringer, Lennart (Tekijä), Dodds, Josiah (Tekijä), Stewart, Gordon (Tekijä), Blazy, Sandrine (Tekijä), Leroy, Xavier (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	New York, NY., USA: Cambridge University Press, 2014.
Aiheet:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Lisää ensimmäinen kommentti!

Samankaltaisia teoksia