£ 25.49
Introduction to Dependent Types with Idris: Encoding Program Proofs in
Prices from
25.49
Sponsored links
|
|
£ 25.49 |
To Shop
|
|
£ 29.97 |
To Shop
|
|
£ 29.97 |
To Shop
|
| COMPARE ALL WEBSHOPS (3) | ||
Description
Introduction to Dependent Types with Idris: Encoding Program Proofs in
Compare webshops (3)
Sponsored links · Some shops pay us a fee
Sort by:
£ 29.97
£ 29.97
Shops with other sizes
Description
(0)
Introduction to Dependent Types with Idris: Encoding Program Proofs in
Product specifications
| Brand | NA |
|---|---|
| EAN |
|
| Material |
|
| Size |
|
Price History
* Price history contains no data from Amazon, Amazon Marketplace.
Prices were last updated on:
Related results
Featured Choice
£ 25.49
