000 00807nam a2200265Ia 4500
003 OSt
005 20220928102135.0
006 a|||||r|||| 00| 0
007 ta
008 220927b |||||||| |||| 00| 0 eng d
024 _a68030
037 _cTextual
040 _aSDCL
_cSDCL
_beng
041 _2eng
_aeng
082 _aD6,8(B)0aD, P3
100 _aKnupp Patrick
_9396763
245 0 _aVerification of computer codes in computational science and engineering
260 _aBoca Raton
_b Chapman and Hall
_c2003
300 _a144p
_ccm.
490 _aDiscrete mathematics and its applications
650 _aComputer And Engineering
_9396764
700 _a Salari Kambiz
_9396765
942 _hD6,8(B)0aD, P3
_cTEXL
_2CC
999 _c712523
_d712523