000 00340nam a2200133Ia 4500
005 20240713135042.0
008 240712s9999 xx 000 0 und d
020 _a9781402065842
041 _aeng
100 _aOlivier Danvy & others
245 _aAutomatic program development
260 _aNew York
_b Springer Sci
_c2008
300 _a272
999 _c14485
_d14485