Treffer: Program logics for certified compilers

Titel:

Program logics for certified compilers / Andrew W. Appel ...

Verantwortlich:

Appel, Andrew W.

Veröffentlicht:

New York, NY : Cambridge Univ. Press, 2014

Umfang:

X, 458 S. : graph. Darst.

Publikationstyp:

E-Book

Sprache:

Englisch

RVK-Notation:

Schlagworte:

Vorliegende Ausgabe:

Online-Ausg.: Cambridge [u.a.] : Cambridge Univ. Press. - Online-Ressource

ISBN:

9781107048010 ; 9781107256552 (Sekundärausgabe)

DOI:

10.1017/CBO9781107256552

Zusatz-Informationen