-
251. Logic-Based Program Synthesis and Transformation
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319274355
Edition: 2015 edition
Format: EPUB eBook
Digital download
$22.00
-
252. Computer Aided Verification
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319216898
Edition: 2015 edition
Format: EPUB eBook
Digital download
$16.50
-
253. Computer Aided Verification
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319216676
Edition: 2015 edition
Format: EPUB eBook
Digital download
$16.50
-
254. Unifying Theories of Programming
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319148052
Edition: 2015 edition
Format: PDF eBook
Digital download
$13.50
-
255. From Requirements to Java in a Snap
by Michać ĆmiaćEk; Wiktor Nowakowski
eBook See More Details
2015, Springer Nature
eBook ISBN: 9783319128375
Edition: 2015 edition
Format: EPUB eBook
Digital download
$16.50
|
