Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers by

Lecture Notes in Computer Science

Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

315 pages paperback

1 edition

nonfiction computer science science informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there...

Show More

Community Reviews

Loading...

Content Warnings

Loading...