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

Prezzi da
12,13

Link sponsorizzati

CONFRONTA TUTTI I WEBSHOP (2)

Descrizione

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

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (2)

Link sponsorizzati · Alcuni negozi ci pagano un compenso

Ordina per:

12,13 €

12,13 €

Descrizione (0)

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

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798140538453

OmniScriptum

Bounded Quantification: Type theory, Object-oriented programming, Generic programming

132,18 €
Confronta 2 negozi 2 negozi

Adam Chlipala Certified Programming with Dependent Types (Tascabile)

103,38 €
Più informazioni Maggiori info

Proof Theory and Logic Programming: Computation as Search

71,25 €
Confronta 2 negozi 2 negozi

Independently Published

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

12,46 €
Confronta 2 negozi 2 negozi
Scelta in evidenza
12,13 €
Vai allo shop