| Type |  Book |
| ชื่อเรื่อง | Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch |
| ISBN | 0120442108 |
| พิมพลักษณ์ | Boston : Academic Press, c1993 |
| รูปเล่ม | x, 612 p. ; 24 cm |
| หัวเรื่อง | Computer science --Mathematics [] |
| | Electronic data processing |
| | Numerical analysis |
| | Numerical calculations |
| | Verification of computer programs |