Program logics for certified compilers.

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Appel, Andrew W., 1960- (Awdur), Dockins, Robert (Awdur), Hobor, Aquinas (Awdur), Beringer, Lennart (Awdur), Dodds, Josiah (Awdur), Stewart, Gordon (Awdur), Blazy, Sandrine (Awdur), Leroy, Xavier (Awdur)
Fformat:	Llyfr
Iaith:	Saesneg
Cyhoeddwyd:	New York, NY., USA: Cambridge University Press, 2014.
Pynciau:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Biblioteca Mayor de Ingeniería -

Manylion daliadau o Biblioteca Mayor de Ingeniería -
Rhif Galw:	005.14 APP 2014
Copi 1	Ar gael Gwneud Cais