C++ toolbox for verified computing I basic numerical problems

Saved in:
Bibliographic Details
Other Authors: Hammer, R. 1961- Rolf
Format: Book
Published: Berlin Springer 1995
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!