Numerical Software with Result Verification
International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Lecture Notes in Computer Science Vol.2991
Ed. by Rene Alt, Andreas Frommer, R. Baker Kearfott et al.
- 出版社：Springer, Berlin
- 出版年月：2004年 00月
- ISBN：9783540212607
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2004. X
- 巻数・ページ数：315 p.
- 分類： コンピュータ数学・数値解析