The Little Typer
Daniel P. (Professor, Indiana University) Friedman
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£52.00
£35.83
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to BasketConcepts, Techniques, and Models of Computer Programming
Peter Van Roy
Download Now
Format: eBook (PDF)
Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant
Adam Chlipala
Download Now
Format: eBook (PDF)