Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Numerical Software with Result Verification

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

Limba

engleză

Carte Carte broșată

Codul Libristo: 01559177

Editura Springer, Berlin, noiembrie 2003

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Nume... Descrierea completă

Codul Libristo: 01559177

132 b

285.47 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Asterios Pia Hepke

Carte broșată

75.44 lei

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.