000 00361nam a2200157Ia 4500
008 230706s9999 xx 000 0 und d
020 _a9780521882866
_qhbk
082 _a005.72
_bHUA
100 _aHuang
245 0 _aPath-Oriented Program Analysis
_cHuang
250 _a1
260 _bCambridge
_c2008
300 _a196
650 _aMaths
942 _cENG
999 _c115583
_d115583