Scientific Computing with Automatic Result Verification - Couverture souple

 
9780124109551: Scientific Computing with Automatic Result Verification