000 | 00501nam a2200145Ia 4500 | ||
---|---|---|---|
008 | 211224s9999 xx 000 0 und d | ||
020 | _a9783540011859 | ||
082 | _a005.453 FAH | ||
100 | _aFahringer, Thomas | ||
245 | 0 | _aAdvanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization | |
260 |
_aNew York: _bSpringer, _c2003 |
||
300 | _axii, 129 p. : ill. ; 24 cm | ||
650 | _aCompilers - Computer programs | ||
700 | _aScholz, Bernhard | ||
999 |
_c11744 _d11744 |