Introduction to Dependent Types with Idris: Encoding Program Proofs in

Priser från
337,57

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Amazon Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Description Beskrivning
Product Specifications Produktspecifikationer
Related Products Relaterade produkter
?>
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
337,57 kr
Til butik
Amazon Marketplace Logga
337,57 kr
Til butik
Beskrivning (1)

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Produktspecifikationer

Märke Apress
EAN
  • 9781484292587

Priser uppdaterades senast:

Independently Published

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale

199,36 kr
Jämför 2 butiker 2 Butiker

Independently Published

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale

299,05 kr
Jämför 2 butiker 2 Butiker

Independently Published

Idris for Beginners: How to Explore Dependent Types and Functional Programming

199,36 kr
Jämför 2 butiker 2 Butiker

Independently Published

Idris for Beginners: How to Explore Dependent Types and Functional Programming

299,10 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
337,57 kr
Til butik