Numerical Software Verification More Books Like This

Scientific Computing, Computer Arithmetic, and Validated Numerics Scientific Computing, Computer Arithmetic, and Validated Numerics
Scientific Computing, Computer Arithmetic, and Validated Numerics
2016
Numerical Validation in Current Hardware Architectures Numerical Validation in Current Hardware Architectures
Numerical Validation in Current Hardware Architectures
2009
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017
Numerical Computations: Theory and Algorithms Numerical Computations: Theory and Algorithms
Numerical Computations: Theory and Algorithms
2020
Scientific Computing With Automatic Result Verification Scientific Computing With Automatic Result Verification
Scientific Computing With Automatic Result Verification
1992
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
2018
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2016
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2019
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
2014
Numerical Methods and Applications Numerical Methods and Applications
Numerical Methods and Applications
2019
Large-Scale Scientific Computing Large-Scale Scientific Computing
Large-Scale Scientific Computing
2022
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017
Modeling, Simulation and Optimization of Complex Processes Modeling, Simulation and Optimization of Complex Processes
Modeling, Simulation and Optimization of Complex Processes
2008
Software Verification Software Verification
Software Verification
2022
Learning and Intelligent Optimization Learning and Intelligent Optimization
Learning and Intelligent Optimization
2017