-
26. 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
$117.00
-
27. 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
-
28. 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
-
29. 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
