000 00559nam a2200193Ia 4500
001 11498
008 180118s9999||||xx |||||||||||||| ||eng||
020 _a3540634681
040 _aTULIB
_cTULIB
041 _aeng
082 _a005.1 HEN
100 _aHentenryck,Pascal Van
245 0 _aStatic analysis /
_cHentenryck,Pascal Van.
250 _a4th international sy
260 _aBerlin:
_bSpringer,
_c1997.
300 _ax,411p;26cm
504 _aIncludes bibliographical references.
942 _cBK
999 _c7944
_d7944