Introduction to Dependent Types with Idris: Encoding Program Proofs in

Name: Introduction to Dependent Types with Idris: Encoding Program Proofs in
Brand: Apress
SKU: 2e21fb63f468563e8739eff6093d1e8e

1/1

Prices from

29.97

Featured

Description

Amazon Pages: 175, Edition: First Edition, Paperback, Apress

Compare webshops (2)

Shop

Price

£ 29.97

To Shop

£ 29.97

To Shop

Description (1)

Pages: 175, Edition: First Edition, Paperback, Apress

Brand	Apress
EAN	9781484292587

MIT Press

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

MIT Press

Program Proofs

MIT Press

Program Proofs

CRC Press

An Introduction to Mathematical Proofs (Textbooks in Mathematics)