-
26. Descriptive Set Theoretic Methods in Automata Theory
by Michać Skrzypczak
eBook See More Details
2016, Springer Nature
eBook ISBN: 9783662529461
Edition: 2016 edition
Format: EPUB eBook
Digital download
$22.00
-
27. Decision Procedures
by Daniel Kroening; Ofer Strichman
eBook See More Details
2017, Springer Nature
eBook ISBN: 9783662504963
Edition: 2nd edition
Format: PDF eBook
Digital download
$19.50
-
28. Verification, Model Checking, and Abstract Interpretation
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783662491218
Edition: 2016 edition
Format: EPUB eBook
Digital download
$16.50
-
29. Frontiers of Combining Systems
eBook See More Details
2013, Springer Nature
eBook ISBN: 9783642408847
Edition: 2013 edition
Format: PDF eBook
Digital download
$16.50
-
30. Trends in Functional Programming
by Author
eBook See More Details
2013, Springer Nature
eBook ISBN: 9783642404467
Edition: 2013 edition
Format: PDF eBook
Digital download
$16.50
|
