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

Prices from
45.31

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

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

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

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 45.31

£ 45.31

Description (0)

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

Product specifications

Brand MIT Press
EAN
  • 9780262545747

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, The

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

£ 25.33
Compare 2 stores 2 stores

O'reilly

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

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