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

Prijzen vanaf
37,16

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (1)

Sorteren op:

€ 37,16

Beschrijving (0)

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

Productspecificaties

Merk OmniScriptum
EAN
  • 9786133202405

OmniScriptum

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

42,75
Meer informatie Meer info

OmniScriptum

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

109,21
Meer informatie Meer info
-2%

Algebraic Theory of Generalized Inverses

116,99
Meer informatie Meer info

Algebraic Theory of Generalized Inverses

117,71
Meer informatie Meer info
Uitgelichte Keuze
37,16
Naar shop