1993 | Buch

# Numerical Toolbox for Verified Computing I

## Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs

Buchreihe: Springer Series in Computational Mathematics

Autoren: Prof.Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Dietmar Ratz, Dipl-Math. oec. Matthias Hocks

Verlag: Springer Berlin Heidelberg

Print ISBN: 978-3-642-78425-5

Electronic ISBN: 978-3-642-78423-1

Enthalten in: Professional Book Archive