Numerical Software with Result Verification
Subtitle: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540247388
Subjects: Numerical analysis, data processing; Computer software, verification