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

Prijzen vanaf
12,48

Gesponsorde links

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 12,48

€ 12,48

Beschrijving (0)

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

Productspecificaties

Merk Independently Published
EAN
  • 9798140538453

Certified Programming with Dependent Types

53,99
Meer informatie Meer info

OmniScriptum

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

135,33
Vergelijk 2 shops 2 shops

Proof Theory and Logic Programming

87,33
Vergelijk 2 shops 2 shops

Interview Handbook Object Oriented Programming

3,49
Meer informatie Meer info
Uitgelichte Keuze
12,48
Naar shop