TY  - BOOK
A1  - Rene Alt...]et al.[ )eds.(
TI  - Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24  2003 : revised papers
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101386920
UR  /book/101386920/Numerical-software-with-result-verification-inte/
ER  -