Mastering Idris 2: Advanced Techniques in Dependently Typed Programming

Prices from
33.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 209, Paperback, Independently published
Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
€ 33.99
To Shop
Amazon Marketplace Logo
€ 33.99
To Shop
Description (1)

Pages: 209, Paperback, Independently published

Product specifications

Brand Independently Published
EAN
  • 9798257336263

Prices were last updated on:

Independently Published

AGDA PROGRAMMING for MATHEMATICAL SOFTWARE: Dependently typed functional language research and teaching

€ 11.18
Compare 2 stores 2 stores

Independently Published

Mastering Python: From Fundamentals to Advanced Programming Techniques

€ 14.66
Compare 2 stores 2 stores

Independently Published

Mastering Java 25.01: Advanced Programming Techniques, Performance Optimization, and Modern Architecture

€ 25.18
Compare 2 stores 2 stores

Independently Published

Go Programming in Depth: From Basics to Advanced Techniques

€ 14.99
Compare 2 stores 2 stores
Featured Choice
€ 33.99
To Shop