-
126. Interactive Theorem Proving and Program Development
by Yves Bertot; Pierre Castéran
eBook See More Details
2004, Springer Nature
eBook ISBN: 9783540208549
Edition: 2004 edition
Format: PDF eBook
Digital download
$99.00
-
127. Secure Systems Development With Uml
by Jan Jürjens
eBook See More Details
2004, Springer Nature
eBook ISBN: 9783540007012
Edition: 2005 edition
Format: PDF eBook
Digital download
$29.70
-
128. Design and Implementation of the Mtx Operating System
by K. C. Wang
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319175744
Format: EPUB eBook
Digital download
$26.70
-
129. Fundamentals of Multimedia
by Ze-Nian Li; Mark S. Drew; Jiangchuan Liu
eBook See More Details
2014, Springer Nature
eBook ISBN: 9783319052892
Edition: 2nd edition
Format: PDF eBook
Digital download
$27.00
-
130. Parallel Programming
by Thomas Rauber; Gudula Rünger
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031289231
Edition: 3rd edition
Format: PDF eBook
Digital download
$21.00
|
