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

A Paperback by Adam Chlipala

£56.30

Includes FREE delivery

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

Order before 4pm today for delivery by Wed 9 Sep 2026.

15 in stock

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

Published 6 July 2022

ISBN-13 9780262545747
978-0262545747

ISBN-10 0262545748

Also in:
Computing Mobile and handheld device programming