中图分类法:	O245-532 版次：
题名:	Numerical software with result verification : [ international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2004.
载体形态:	x, 313 p. : ill. ; 24 cm.
附注:	"This book, which contains the proceedings of the Dagstuhl Seminar 03041 `Numerical Software with Result Verification` held from Janyary 19 to 24, 2003." -- preface.
主题词:	Numerical analysis Computer programs
主题词:	Computer software Verification
主要责任者:	Alt, René.