Numerical toolbox for verified computingR. Hammer
Numerical toolbox for verified computing
R. Hammer, M. Hocks, U. Kulisch, D. Ratz · 1993
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1993
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 360
- ISBN
- 9780387571188
Data source: Wikidata