Stock image for illustration purposes only - book cover, edition or condition may vary.
Numerical Validation in Current Hardware Architectures
Cuyt
€ 63.90
FREE Delivery in Ireland
Description for Numerical Validation in Current Hardware Architectures
Paperback. Constitutes the refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. This book presents the 16 revised full papers that were selected during two rounds of reviewing and improvements. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 275 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 427.
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.
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.
Product Details
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
275
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
263
Place of Publication
Berlin, Germany
ISBN
9783642015908
SKU
V9783642015908
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Numerical Validation in Current Hardware Architectures