Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

René Alt ... [et al.] (eds.)
Bok · Engelsk · 2004

Utgitt	Berlin : Springer , c2004
Omfang	X, 313 s. : ill.
Emner	Computer software - Verification Numerical analysis - Computer programs Applied Mathematics Engineering & Applied Sciences Vis mer... Numerisk analyse Programvare - Verifisering numerisk analyse
Dewey	518/.0285/5
ISBN	3540212604