Cover Image

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

Show other versions (1)
Bibliographic Details
Corporate Author: NetLibrary, Inc
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.
numerical software
result verification
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:x, 313 pages : illustrations ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references and index.
ISBN:3540247386 (electronic bk.)
ISSN:0302-9743 ;