Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Alt, René
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 2991.
Subjects:	Numerical analysis > Computer programs > Congresses. Computer software > Verification > Congresses. analyse numérique. Logiciel. Précision des calculs. Vérification de logiciels. Analyse numérique > Logiciels > Congrès. Logiciels > Vérification > Congrès. Computer software > Verification. Numerical analysis > Computer programs. Analyse numérique. Numerische Mathematik. Richtigkeit von Ergebnissen. Software. Verifikation. numerical software result verification Electronic books. Kongress > Dagstuhl > 2003. Conference proceedings. Kongress.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2991

Remote Storage