Introduction to Dependent Types with Idris: Encoding Program Proofs in

Name: Introduction to Dependent Types with Idris: Encoding Program Proofs in
Brand: Apress
SKU: 2e21fb63f468563e8739eff6093d1e8e

1/1

Preise von

34,99

Gesponserte Links

Beschreibung

Introduction to Dependent Types with Idris: Encoding Program Proofs in

Webshops vergleichen (2)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

34,99 € Gratis Versand

Beschreibung (0)

Introduction to Dependent Types with Idris: Encoding Program Proofs in

Marken	Apress
EAN	9781484292587

Apress, Apress L.P.

Introduction to Dependent Types with Idris Encoding Program Proofs in Buch

Apress, Apress L.P.

Boro Sitnikovski Introduction to Dependent Types with Idris Taschenbuch

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Independently Published

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

Hervorgehobene Wahl

34,99 €

Zum Shop