Items related to Numerical Validation in Current Hardware Architectures

Numerical Validation in Current Hardware Architectures - Softcover

 
9783642015922: Numerical Validation in Current Hardware Architectures
Softcover
ISBN 10: 3642015921 ISBN 13: 9783642015922
Publisher: Springer, 2009

This specific ISBN edition is currently not available.

Synopsis

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2009
Language
English
ISBN 10 
3642015921
ISBN 13 
9783642015922
Binding
Paperback
Number of pages
276
Editor
Cuyt Annie A.M., Kraemer Walter, Luther Wolfram

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642015908: Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers (Lecture Notes in Computer Science, 5492)

Featured Edition

ISBN 10:  3642015905 ISBN 13:  9783642015908
Publisher: Springer, 2009
Softcover