-
201. Critical Systems: Formal Methods and Automated Verification
eBook See More Details
2017, Springer Nature
eBook ISBN: 9783319671123
Edition: 2017 edition
Format: EPUB eBook
Digital download
$16.50
-
202. Concise Guide to Formal Methods
by Gerard O'Regan
eBook See More Details
2017, Springer Nature
eBook ISBN: 9783319640204
Edition: 2017 edition
Format: EPUB eBook
Digital download
$21.00
-
203. Numbers and Computers
by Ronald T. Kneusel
eBook See More Details
2017, Springer Nature
eBook ISBN: 9783319505077
Edition: 2nd edition
Format: EPUB eBook
Digital download
$19.50
-
204. Reliable Software Technologies-Ada-Europe 2016
eBook See More Details
2016, Springer Nature
eBook ISBN: 9783319390826
Edition: 2016 edition
Format: EPUB eBook
Digital download
$16.50
-
205. Logic-Based Program Synthesis and Transformation
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319274355
Edition: 2015 edition
Format: EPUB eBook
Digital download
$16.50
|
