| 000 | 00704 a2200229 4500 | ||
|---|---|---|---|
| 005 | 20151216123907.0 | ||
| 008 | 151205b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781107048010 | ||
| 080 |
_a004.42 _bAPP |
||
| 100 | _aAppel, Andrew W...[et.al] | ||
| 245 |
_aProgram logics for certified compilers _cAndrew Appel W....[et.al] |
||
| 260 |
_c2014 _bCambridge University Press _aNew York |
||
| 300 | _ax, 458p. | ||
| 653 | _aLogic symbolic and mathematical | ||
| 653 | _aCompilers (Computer programs) | ||
| 653 | _aComputer software - Verification | ||
| 653 | _aCompCert verified C compiler | ||
| 700 | _aDock, Robert | ||
| 700 | _aHobor, Aquinas | ||
| 700 | _aBeringer, Lennart | ||
| 942 | _cBK | ||
| 999 |
_c81897 _d81896 |
||