Delivery included to the United States

Scientific Computation With Automatic Result Verification

Scientific Computation With Automatic Result Verification

Paperback

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Proceedings of a conference held Sept. 30-Oct. 2, 1987, in Karlsruhe, W. Germany. Divided into three sections addressing numerical methods with result verification, application in the technical sciences, and improving the tools of analysis. No index. Aimed at application scientists. Annotation copyright Book News, Inc. Portland, Or.

Book information

ISBN: 9780387820637
Publisher: Springer Verlag,.
Imprint: Springer Verlag,.
Language: English
Number of pages: 244
Weight: -1g