Certified Programming with Dependent Types

Name: Certified Programming with Dependent Types
Brand: MIT Press Ltd
SKU: 9780262545747
Price: 56.3 GBP
Availability: InStock

Product form

£56.30

Includes FREE delivery

RRP £4,724.00 – you save £4,667.70 (98%)

Order before 4pm today for delivery by Wed 24 Jun 2026.

A Paperback by Adam Chlipala

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Certified Programming with Dependent Types by Adam Chlipala

Publisher: MIT Press Ltd
Publication Date: 6/7/2022 12:00:00 AM
ISBN13: 9780262545747, 978-0262545747
ISBN10: 0262545748

Also in:
Computing Mobile and handheld device programming