| Type |  Book |
| ชื่อเรื่อง | Numerical software with result verification [electronic resource] : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers / Rene Alt ... [et al.] (eds.) |
| ISBN | 9783540247388 |
| พิมพลักษณ์ | Berlin ; New York : Springer, c2004 |
| รูปเล่ม | 1 online resource (x, 313 p.) : ill. (some col.) |
| ลิงค์ | Connect toelectronic resource |
| หัวเรื่อง | Computer software --Verification --Congresses [] |
| | Numerical analysis --Computer programs --Congresses [] |