-
276. Adapting Proofs-as-Programs
by Iman Poernomo; John N. Crossley; Martin Wirsing
eBook See More Details
2005, Springer Nature
eBook ISBN: 9780387237596
Edition: 2005 edition
Format: PDF eBook
Digital download
$159.00
-
277. The Little Typer
by Daniel P. Friedman; David Thrane Christiansen
eBook See More Details
2018, Random House Publishing Services
eBook ISBN: 9780262536431
Format: EPUB eBook
Digital download
$38.99
-
278. Functional Design
by Robert C. Martin
eBook See More Details
2023, Pearson Technology Group
eBook ISBN: 9780138176396
Edition: 1st edition
Format: EPUB eBook
Digital download
$47.99
-
279. Scala for the Impatient
by Cay S. Horstmann
eBook See More Details
2022, Pearson Technology Group
eBook ISBN: 9780138033651
Edition: 3rd edition
Format: EPUB eBook
Digital download
$47.99
-
280. An Architecture for Combinator Graph Reduction
by Philip John Koopman
eBook See More Details
1990, Elsevier S & T
eBook ISBN: 9780124192409
Format: PDF eBook
Digital download
$31.95
|
