Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Numerical Software with Result Verification

Name: Numerical Software with Result Verification
Brand: Springer, Berlin
SKU: 01559177
Price: 218.99 PLN
Availability: InStock
Author: Rene Alt
ISBN: 9783540212607

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

Rene Alt

Andreas Frommer

R. Baker Kearfott

Język

Angielski

Książka Miękka

Kod Libristo: 01559177

Wydawnictwo Springer, Berlin, listopad 2003

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Nume... Cały opis

Kod Libristo: 01559177

125 b

218.99 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Asterios Pia Hepke

Miękka

57.50 zł

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.