LEAN TYPE THEORY HANDBOOK: Dependent Types Universes Inductive Families and Proof-Oriented Programming Explained

Priser från
136,26

Sponsrade länkar

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

LEAN TYPE THEORY HANDBOOK: Dependent Types Universes Inductive Families and Proof-Oriented Programming Explained

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Sponsrade länkar · Vissa butiker betalar oss en ersättning

Sortera efter:

136,26 kr

136,26 kr

Beskrivning (0)

LEAN TYPE THEORY HANDBOOK: Dependent Types Universes Inductive Families and Proof-Oriented Programming Explained

Produktspecifikationer

Märke Independently Published
EAN
  • 9798140538453

Independently Published

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

299,10 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

CERTIFIED Programming and PROOF ASSISTANTS: Machine Checked Proofs Type Theory Functional Formally Verified Algorithms

140,58 kr
Jämför 2 butiker 2 Butiker

Cambridge University Press

Proof Theory and Logic Programming: Computation as Search

1.016,68 kr
Mer information Mer info
Utvalt Val
136,26 kr
Til butik