Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers Lecture Notes in Computer Science, nr. 2991 Editat de René Alt et al. 12 mar 2004 Paperback Preț: 389.31 lei 6-8 săpt.
