-
1. Verified Software: Theorie, Tools, Experiments
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783642541070
Edition: 2014 edition
Format: PDF eBook
Digital download
$16.50
-
2. Verification, Model Checking, and Abstract Interpretation
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783642540127
Edition: 2014 edition
Format: PDF eBook
Digital download
$16.50
-
3. Numerical Software With Result Verification
by René Alt; Âandreas Frommer; Âr. Baker Kearfott
eBook See More Details
2004, Springer Nature
eBook ISBN: 9783540212607
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
4. Program Logics for Certified Compilers
by Andrew W. Appel
eBook See More Details
2014, Cambridge University Press
eBook ISBN: 9781107048010
Edition: 1st edition
Format: PDF eBook
Digital download
$93.60
-
5. Verification and Validation in Scientific Computing
by William L. Oberkampf; Christopher J. Roy
eBook See More Details
2010, Cambridge University Press
eBook ISBN: 9780521113601
Edition: 1st edition
Format: EPUB eBook
Digital download
$143.20
-
6. Program Proofs
by K. Rustan M. Leino
eBook See More Details
2023, Random House Publishing Services
eBook ISBN: 9780262546232
Format: EPUB eBook
Digital download
$48.99
|
