Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Prices from
45.31

Sponsored links

COMPARE ALL WEBSHOPS (3)

Description

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

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

Compare webshops (3)

Sponsored links · Some shops pay us a fee

Sort by:

£ 45.31

£ 45.31

£ 59.78

Description (0)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Product specifications

Brand MIT Press
EAN
  • 9780262545747
Material
  • Na
Size
  • NA
  • 22.9 x 17.8 x 2.3 centimetres (0

Price History

* Price history contains no data from Amazon, Amazon Marketplace.

Prices were last updated on:

Introduction to Dependent Types with Idris Encoding Program Proof

£ 45.88
More Information More Info

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

£ 25.49
Compare 3 stores 3 stores

A Pragmatic Introduction to the Finite Element . Krysl

£ 51.64
More Information More Info

Independently Published

LEAN TYPE THEORY HANDBOOK: Dependent Types Universes Inductive Families and Proof-Oriented Programming Explained

£ 9.73
More Information More Info
Featured Choice
£ 45.31
To Shop