Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers (Lecture Notes in Computer Science (2991), Band 2991)

Verification

von: Andreas Frommer · Ren?? Alt · R. Baker Kearfott · Wolfram Luther

Taschenbuch

ISBN: 978-3-540-21260-7

ISBN-10: 3-540-21260-4

Springer · 2008