Scientific Computing with Automatic Result Verification - Softcover

 
9780124109551: Scientific Computing with Automatic Result Verification