Program logics for certified compilers.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Appel, Andrew W., 1960- (VerfasserIn), Dockins, Robert (VerfasserIn), Hobor, Aquinas (VerfasserIn), Beringer, Lennart (VerfasserIn), Dodds, Josiah (VerfasserIn), Stewart, Gordon (VerfasserIn), Blazy, Sandrine (VerfasserIn), Leroy, Xavier (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	New York, NY., USA: Cambridge University Press, 2014.
Schlagworte:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Biblioteca Mayor de Ingeniería -

Bestandsangaben von Biblioteca Mayor de Ingeniería -
Signatur:	005.14 APP 2014
Exemplar 1	Verfügbar Bestellen