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

Prices from
45.31

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 436, Paperback, MIT Press
Description Description
Product Specifications Product specifications
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 45.31
To Shop
Amazon Marketplace Logo
£ 45.31
To Shop
Description (1)

Pages: 436, Paperback, MIT Press

Product specifications

Brand MIT Press
EAN
  • 9780262545747

Prices were last updated on:

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

£ 29.97
Compare 2 stores 2 stores

Packt Publishing

Java Fundamentals: A fast paced and pragmatic introduction to one of the...

£ 26.99
Compare 2 stores 2 stores

Pragmatic Bookshelf

Practical Programming: An Introduction to Computer Science Using Python 3 (Pragmatic Programmers)

£ 21.05
Compare 2 stores 2 stores

Pragmatic Bookshelf

Seven Languages in Weeks: A Pragmatic Guide to Learning Programming (Pragmatic Programmers)

£ 22.30
Compare 2 stores 2 stores
Featured Choice
£ 45.31
To Shop