000 00509nam a2200157Ia 4500
008 211231s9999 xx 000 0 und d
020 _a3-540-61739-6
040 _cJayakar Knowledge Resource Centre
100 _aStatic Analysis
245 0 _aStatic analysis: third international symposium, sas '96 aachen, germany, september 24-26, 1996 proceedings
250 _a1st
260 _bSpringer
_aBerlin
_c1996
300 _aix,388p p.
653 _aProgramming languages(Electronic Computers)
942 _c1
999 _c290719
_d290719