Workshop on Validated Computing
Subtitle: Toronto, Canada, May 23-25, 2002 : extended abstracts
By: edited by R. Baker Kearfott
Contributors: Kearfott, R. Baker; Society for Industrial and Applied Mathematics
Publisher: Society for Industrial and Applied Mathematics
Published: 2002
Place of publication: El Paso, Tex
Language: eng
Number of pages: 187
Subjects: Computer software; Congresses; Reliability; Application software; Development; Interval analysis (Mathematics)
Notes: Cover title.

"April 2002."

Includes bibliographical references and index.