Scientific Computation with Automatic Result Verification
Publisher: Springer
Published: Dec 12, 1988
Format: paperback
Number of pages: 244
ISBN-13: 9783211820636
Notes: Source title: Scientific Computation with Automatic Result Verification (Computing Supplementa)