-
226. Semigroups in Complete Lattices
by Patrik Eklund; Javier Gutieìrrez Garciìa; Ulrich Höhle; Jari Kortelainen
eBook See More Details
2018, Springer Nature
eBook ISBN: 9783319789477
Edition: 2018 edition
Format: EPUB eBook
Digital download
$39.00
-
227. Verified Software. Theories, Tools, and Experiments
eBook See More Details
2016, Springer Nature
eBook ISBN: 9783319488684
Edition: 2016 edition
Format: EPUB eBook
Digital download
$16.50
-
228. Claudio Moraga: a Passion for Multi-Valued Logic and Soft Computing
eBook See More Details
2016, Springer Nature
eBook ISBN: 9783319483160
Format: EPUB eBook
Digital download
$29.70
-
229. Nasa Formal Methods
by Author
eBook See More Details
2016, Springer Nature
eBook ISBN: 9783319406473
Edition: 2016 edition
Format: EPUB eBook
Digital download
$21.00
-
230. 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
