-
176. Software Engineering 2
by Dines Bjørner
eBook See More Details
2006, Springer Nature
eBook ISBN: 9783540211501
Edition: 2006 edition
Format: PDF eBook
Digital download
$54.99
-
177. Software Engineering 1
by Dines Bjørner
eBook See More Details
2005, Springer Nature
eBook ISBN: 9783540211495
Edition: 2006 edition
Format: PDF eBook
Digital download
$26.70
-
178. 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
$29.70
-
179. The Essence of Computation
by Torben Mogensen; David Schmidt; I. Hal Sudborough
eBook See More Details
2002, Springer Nature
eBook ISBN: 9783540003267
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
180. Truth, Existence and Explanation
eBook See More Details
2018, Springer Nature
eBook ISBN: 9783319933412
Edition: 2018 edition
Format: EPUB eBook
Digital download
$26.70
|
