Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Author(s)

• Alt, René
• Frommer, Andreas
• Kearfott, R. Baker
• Luther, Wolfram
• International Dagstuhl Seminar, Numerical Software with Result Verification

Bibliographic Information

Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

René Alt ... [et al.] (eds.)

（Lecture notes in computer science, 2991）

Springer, c2004

Note

Includes bibliographical references and index

"This book, which contains the proceedings of the Dagstuhl Seminar 03041 'Numerical Software with Result Verification' held from January 19 to 24, 2003, ..." - pref.

Details

• NCID: BA66755960
• ISBN:
  • 3540212604
• LCCN: 2004042817
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: x, 313 p.
• Size: 24 cm
• Classification:
  • LCC : QA297
  • DC22 : 518/.0285/5
• Subject Headings:
  • LCSH : Numerical analysis -- Computer programs -- Congresses
  • LCSH : Computer software -- Verification -- Congresses
• Parent Bibliography ID:
  • BA00009279