-
301. Separation Logic for High-Level Synthesis
by Felix Winterstein
eBook See More Details
2017, Springer Nature
eBook ISBN: 9783319532219
Edition: 2017 edition
Format: PDF eBook
Digital download
$51.60
-
302. Deductive Software Verification-the Key Book
eBook See More Details
2016, Springer Nature
eBook ISBN: 9783319498119
Edition: 2016 edition
Format: PDF eBook
Digital download
$35.70
-
303. Integrated Formal Methods
by Author
eBook See More Details
2016, Springer Nature
eBook ISBN: 9783319336923
Edition: 2016 edition
Format: EPUB eBook
Digital download
$27.00
-
304. A List of Successes That Can Change the World
by Author
eBook See More Details
2016, Springer Nature
eBook ISBN: 9783319309354
Edition: 2016 edition
Format: EPUB eBook
Digital download
$16.50
-
305. High Performance Computing
by Author
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319201184
Edition: 2015 edition
Format: EPUB eBook
Digital download
$16.50
|
