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

Prijzen vanaf
42,75

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
42,75
Gratis
42,75
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
42,75
Gratis
42,75
Naar shop
Gratis Shipping Costs
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
Vergelijk 2 shops 2 shops

OmniScriptum

POPLmark Challenge: Programming Language, Type Theory, Abstract Data

57,49
Vergelijk 2 shops 2 shops

OmniScriptum

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

109,21
Vergelijk 2 shops 2 shops

OmniScriptum

Void Type: Curly Bracket Programming Language, Type Theory, Function (Computer Science)

126,91
Vergelijk 2 shops 2 shops
Uitgelichte Keuze
42,75
Naar shop