Introduction to Dependent Types with Idris

Name: Introduction to Dependent Types with Idris
SKU: 54484
Price: 269 EGP
Availability: InStock

269 EGP

SKU: 54484 Category: Other

20 People watching this product now!

Description

Introduction to Dependent Types with Idris

Shipping & Delivery

Books are delivered with a shipping company. Delivery duration is 2-4 working days

No account yet?

269 EGP