Numerical Validation in Current Hardware Architectures

Name: Numerical Validation in Current Hardware Architectures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642015908
Price: 50.19 EUR
Availability: InStock

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Autor: Annie A.M. Cuyt, Walter Kraemer, Wolfram Luther, Peter Markstein

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Nume...

Informácie o knihe

Autor

Annie A.M. Cuyt, Walter Kraemer, Wolfram Luther, Peter Markstein

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2009

Stránok

263

EAN

9783642015908

ISBN

3642015905

Enbook ID

01649712

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

427

Rozmery

155 x 235 x 16

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Numerical Validation in Current Hardware Architectures

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež