-
226. 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
$22.00
-
227. 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
-
228. 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
-
229. 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
-
230. Logic, Rewriting, and Concurrency
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319231648
Edition: 2015 edition
Format: EPUB eBook
Digital download
$16.50
|
