Program logics for certified compilers.

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Appel, Andrew W., 1960- (Údar), Dockins, Robert (Údar), Hobor, Aquinas (Údar), Beringer, Lennart (Údar), Dodds, Josiah (Údar), Stewart, Gordon (Údar), Blazy, Sandrine (Údar), Leroy, Xavier (Údar)
Formáid:	LEABHAR
Teanga:	Béarla
Foilsithe / Cruthaithe:	New York, NY., USA: Cambridge University Press, 2014.
Ábhair:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Biblioteca Mayor de Ingeniería -

Sonraí sealbhúcháin ó Biblioteca Mayor de Ingeniería -
Gairmuimhir:	005.14 APP 2014
Cóip 1	Ar fáil Cuir coinneáil air