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

Prices from
127.10

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

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

Compare webshops (2)

Sort by:

€ 127.10

€ 127.10

Description (0)

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

Product specifications

Brand OmniScriptum
EAN
  • 9786133210103

OmniScriptum

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

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Reference Type: Programming Language Theory, Type Abstract Data

€ 145.79
Compare 2 stores 2 stores

OmniScriptum

POPLmark Challenge: Programming Language, Type Theory, Abstract Data

€ 168.22
Compare 2 stores 2 stores

OmniScriptum

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

€ 145.79
Compare 2 stores 2 stores
Featured Choice
€ 127.10
To Shop