STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
M. Hocks | lit.salon
M. Hocks
No bio available.
Add one in Open Library.
Books by M. Hocks (50 max)
+ shelf
+ list
Numerical toolbox for verified computing: theory, algorithms, and Pascal-XSC programs
1993
R. Hammer, M. Hocks, U. Kulisch, D. Ratz