numerical verification methods and computer assisted proofs for partial diffe

numerical verification methods and computer assisted proofs for partial diffe

Recommended

Drechsler - Formal Modeling and Verification of Cyber-Physical System - S9000z

Drechsler - Formal Modeling and Verification of Cyber-Physical System - S9000z

$76.18

View Details

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelbe

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelbe

$69.90

View Details

Polynomial Formal Verification of Approximate Functions by Martha Schnieber Pape

Polynomial Formal Verification of Approximate Functions by Martha Schnieber Pape

$125.00

View Details

Numerical Software Verification: 12th International Workshop, Nsv 2019

Numerical Software Verification: 12th International Workshop, Nsv 2019

$59.99

View Details

Numerical Software Verification : 12th International Workshop, Nsv 2019, New ...

Numerical Software Verification : 12th International Workshop, Nsv 2019, New ...

$65.98

View Details

Numerical Verification Methods and Computer-assisted Proofs for Partial Diffe...

Numerical Verification Methods and Computer-assisted Proofs for Partial Diffe...

$101.92

View Details

Verification and Validation in Scientific Computing by Christopher J. Roy and...

Verification and Validation in Scientific Computing by Christopher J. Roy and...

$89.99

View Details

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su

$66.98

View Details

Accuracy Verification Methods: Theory and Algorithms

Accuracy Verification Methods: Theory and Algorithms

$91.95

View Details

Numerical Software Verification : 10th International Workshop, Nsv 2017, Heid...

Numerical Software Verification : 10th International Workshop, Nsv 2017, Heid...

$80.28

View Details