You might also like

More about Numerical Software with Result Verification

• Book details
• Synopsis
• Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

• Full title: Numerical Software with Result Verification
• Subtitle: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
• Author: Rene Alt, Andreas Frommer, R. Baker Kearfott
• Language: English
• Binding: Paperback
• Number of pages: 315
• EAN: 9783540212607
• ISBN: 3540212604
• ID: 01559177
• Publisher: Springer, Berlin
• Weight: 480 g
• Dimensions: 233 × 155 × 17 mm
• Published: 2004

Trending among others

---

---

---