00364 a2200121 4500020001500000082001700015100001900032245007600051260003900127300002200166650003500188700001900223 a1584882646 a515.353bKNU aKnupp, Patrick aVerification of computer codes in computational science and engineering aLondonbChapman & Hallc2003g2003 axii, 144p.c24cm. aPartial differential equations aSalari, Kambiz