Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Numerical Software with Result Verification
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Papers were arranged in topical sections on language, system software and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and new approaches to verification.
Computer eBook Details
- ISBN-10: 3540212604
- ISBN-13: 9783540212607
- Publisher: Springer
- Pages: 315
- Date: April 2004