| Type |  Book |
| ชื่อเรื่อง | Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers / Rene Alt ... [et al.] (eds.) |
| ผู้แต่ง | Dagstuhl Seminar on Numerical Software with Result Verification (2003 : Dagstuhl, Germany) |
| ISBN | 3540212604 |
| พิมพลักษณ์ | Berlin : Springer, c2004 |
| รูปเล่ม | x, 313 p. : ill. ; 24 cm |
| หัวเรื่อง | Computer software --Verification --Congresses [] |
| | Numerical analysis --Computer programs --Congresses [] |