Menu
Află starea comenzii
Contactați-ne
Carte Numerical Software with Result Verification Rene Alt

Numerical Software with Result Verification

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

Autor: Rene Alt, Andreas Frommer, R. Baker Kearfott
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Nume...

Informații despre carte

Autor
Rene Alt, Andreas Frommer, R. Baker Kearfott
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2004
Pagini
315
EAN
9783540212607
ISBN
3540212604
Enbook ID
01559177
Editura
Springer, Berlin
Greutate
480
Dimensiuni
155 x 233 x 17

Descriere completă

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.The 18 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.

Clienții care au cumpărat această carte au mai cumpărat și

Asterios

Pia Hepke
73.31 lei