Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe 1.165,80 DKK See product
