-
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. 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
-
4. Data Flow Analysis
by Uday Khedker; Amitabha Sanyal; Bageshri Sathe
eBook See More Details
2009, Taylor & Francis
eBook ISBN: 9780849328800
Edition: 1st edition
Format: EPUB eBook
Digital download
$40.70
-
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. 21 Cfr Part 11
by Orlando López
eBook See More Details
2019, Taylor & Francis
eBook ISBN: 9780367394592
Edition: 1st edition
Format: EPUB eBook
Digital download
$49.50
-
7. 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
|
