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

Prices from
108.41

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sort by:

€ 108.41

€ 108.41

Description (0)

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

Product specifications

Brand OmniScriptum
EAN
  • 9786133202405

OmniScriptum

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

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

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

€ 145.79
Compare 2 stores 2 stores

OmniScriptum

Algebraic Data Type: Computer programming, Functional Type theory, Datatype, Value (computer science), Pattern matching

€ 127.10
Compare 2 stores 2 stores

OmniScriptum

Opaque Data Type: Computer Science, Composite Type, Algebraic Type

€ 168.22
Compare 2 stores 2 stores
Featured Choice
€ 108.41
To Shop