Program Proofs

Prices from
52.68

Featured

COMPARE ALL WEBSHOPS (2)

Description

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

Compare webshops (2)

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

Pages: 496, Paperback, MIT Press

Product specifications

Brand MIT Press
EAN
  • 9780262546232

Prices were last updated on:

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

£ 25.29
Compare 2 stores 2 stores

Cornell University Press

Sangaku Proofs: A Japanese Mathematician at Work: 175 (Cornell University East Asia Program)

£ 201.79
More Information More Info

jrgeometry

Proofs

£ 2.34
More Information More Info

Independently Published

COORDINATE PROOFS

£ 7.99
Compare 2 stores 2 stores
Featured Choice
£ 52.68
To Shop