Result: Program logics for certified compilers

*Title*:

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

*Author/editor-in-chief*:

Appel, Andrew W.

*Publication*:

New York, NY : Cambridge Univ. Press, 2014

*Physical description scale*:

X, 458 S. : graph. Darst.

*Format*:

*eBook*

*Language*:

*eng*

*RVK-Notation*:

*Subject Added Keywords*:

*Reproduction note*:

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

*ISBN*:

9781107048010 ; 9781107256552 (Sekundärausgabe)

*DOI*:

10.1017/CBO9781107256552

*Result*: Program logics for certified compilers