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

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

Saved in:
Bibliographic Details
Imprint:Berlin ; New York : Springer, ©2004.
Description:1 online resource (x, 313 pages) : illustrations.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 2991
Lecture notes in computer science ; 2991.
Subject:
Numerical analysis -- Computer programs -- Congresses.
Computer software -- Verification -- Congresses.
Computer software -- Verification.
Numerical analysis -- Computer programs.
Conference papers and proceedings.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11065261
Hidden Bibliographic Details
Other authors / contributors:Alt, René.
ISBN:3540247386
9783540247388
3540212604
9783540212607
Digital file characteristics:text file PDF
Notes:Includes bibliographical references and index.
English.
Summary:This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003. The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
Other form:Print version: Numerical software with result verification. Berlin ; New York : Springer, ©2004 3540212604
Standard no.:10.1007/b96498

Similar Items

Similar Items