Program Proofs

Name: Program Proofs
Brand: MIT Press
SKU: c18ac358af858af32e5f0de9265a5cc0

1/1

Prices from

50.76

Description

Program Proofs

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 50.76

Description (0)

Program Proofs

Brand	MIT Press
EAN	9780262546232

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in (Professional and Applied Computing)

jrgeometry

Proofs

Negative Proofs