Bottom Type: Type theory, Mathematical logic, Curry-Howard correspondence, Top type, Void Exception handling, Pointer (computing), NaN, Fail- stop

Prices from
145.79

Featured

COMPARE ALL WEBSHOPS (2)

Description

Bottom Type: Type theory, Mathematical logic, Curry-Howard correspondence, Top type, Void Exception handling, Pointer (computing), NaN, Fail- stop

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

Compare webshops (2)

Sort by:

€ 145.79

€ 145.79

Description (0)

Bottom Type: Type theory, Mathematical logic, Curry-Howard correspondence, Top type, Void Exception handling, Pointer (computing), NaN, Fail- stop

Product specifications

Brand OmniScriptum
EAN
  • 9786131849558

OmniScriptum

NaN: Computing, Data Type

€ 108.41
Compare 2 stores 2 stores

OmniScriptum

Bounded Pointer: Computer Science, Pointer (Computing), Composite Data Type

€ 168.22
Compare 2 stores 2 stores

OmniScriptum

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

€ 127.10
Compare 2 stores 2 stores

Birkhauser

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

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