Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Numerical Software with Result Verification

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

Language

English

Book Paperback

Libristo code: 01559177

Publishers Springer, Berlin, November 2003

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

Libristo code: 01559177

132 b

54.42 €

106.43 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Asterios Pia Hepke

Paperback

14.38 € 28.12 лв

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.