000 00320nam a2200109Ia 4500
008 160523s9999 xx 000 0 und d
020 _a978-1-107-04801-0
100 _aAppel, A. W. Et.allà
245 _aProgram logics for certified compilers
260 _aNew York
_bCambridge University Press
_c2014
300 _aix, 458p.
999 _c35982
_d35982