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!

Beschreibung
Beschreibung:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
Beschreibung:	x, 458 páginas.
Bibliographie:	Includes bibliographical references (pages 442-451) and index.
ISBN:	9781107048010 (hardback)

Ähnliche Einträge