Reihe Springer Series in Computational MathematicsMitsuhiro T. Nakao × Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Mitsuhiro T. NakaoSpringer SingaporeSoftcover2020149,79 € Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Mitsuhiro T. NakaoSpringer SingaporeHardcover2019149,79 € Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations Mitsuhiro T. NakaoSpringer SingaporeeBook2019139,09 €