Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant
Adam (Assistant Professor, Massachusetts Institute of Techno Chlipala
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£55.00
£42.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketMastering Mobile Learning
Chad Udell
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£42.50
£39.05
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketButtonless : Incredible iPhone and iPad Games and the Stories Behind Them
Ryan Rigney
Download - Immediately Available
Format: eBook (PDF)
Confident Coding : How to Write Code and Futureproof Your Career
Rob Percival
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£45.00
£42.49
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketEmbedded Technologies : Vom Treiber bis zur Grafik-Anbindung
Joachim Wietzke
Out of stock
Format: Book (Hardback)
Abnahme komplexer Software-Systeme : Das Praxishandbuch
Wolfgang W. Osterhage
Out of stock
Format: Book (Hardback)