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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Alt, René (Επιμελητής έκδοσης), Frommer, Andreas (Επιμελητής έκδοσης), Kearfott, R. Baker (Επιμελητής έκδοσης), Luther, Wolfram (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2991
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Algorithms.; Numerical analysis.; Computer Science.; Numeric Computing.; Software Engineering/Programming and Operating Systems.; Numerical Analysis.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Algorithm Analysis and Problem Complexity.

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 are sometimes serious, and often minor, errors. Vali...