Verification of computer codes in computational science and engineering

Patrick Knupp, Kambiz Salari
Bok · Engelsk · 2003 Patrick M. Knupp

Utgitt	Boca Raton, Fla. : Chapman & Hall/CRC , c2003
Emner	Partielle differensialligninger Programverifikasjon
ISBN	1584882646. - 9781584882640