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

25.29

Featured

	£ 25.29	To Shop
	£ 25.29	To Shop

Description

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

Compare webshops (2)

Shop

Price

£ 25.29

To Shop

£ 25.29

To Shop

Description (1)

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

Brand	Apress
EAN	9781484292587

Prices were last updated on: 04-06-2026, 09:11

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)

Featured Choice

£ 25.29

To Shop