Type Safety: Programming Language, Theory, Calculus of Inductive Constructions

Prijzen vanaf
42,75

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Type Safety: Programming Language, Theory, Calculus of Inductive Constructions

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (1)

Sorteren op:

€ 42,75

Beschrijving (0)

Type Safety: Programming Language, Theory, Calculus of Inductive Constructions

Productspecificaties

Merk OmniScriptum
EAN
  • 9786133210103

OmniScriptum

Signedness: Calculus of Inductive Constructions, Container (type theory), Generalized Algebraic Data Type

37,16
Meer informatie Meer info

OmniScriptum

Reference Type: Programming Language Theory, Type Abstract Data

50,12
Meer informatie Meer info

OmniScriptum

POPLmark Challenge: Programming Language, Type Theory, Abstract Data

57,49
Meer informatie Meer info

OmniScriptum

Product Type: Programming Language, Type Theory, Algebraic Data Types, Tuples

109,21
Meer informatie Meer info
Uitgelichte Keuze
42,75
Naar shop