TY  - BOOK
AU  - Knupp Patrick
AU  -  Salari Kambiz
TI  - Verification of computer codes in computational science and engineering
T2  - Discrete mathematics and its applications
U1  - D6,8(B)0aD, P3 
PY  - 2003///
CY  - Boca Raton
PB  -  Chapman and Hall    
KW  - Computer And Engineering
ER  -