Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Numerical Software with Result Verification

Name: Numerical Software with Result Verification
Brand: Springer, Berlin
SKU: 01559177
Price: 51.65 EUR
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

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01559177

Nakladnici Springer, Berlin, studeni 2003

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

Libristo kod: 01559177

125 b

51.65 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Asterios Pia Hepke

Meki uvez

13.54 €

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.