Menu Expand
Scientific Computing with Automatic Result Verification

Scientific Computing with Automatic Result Verification

Adams

(1992)

Additional Information

Book Details

Abstract

Scientific Computing with Automatic Result Verification