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 Basket
Mastering 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 Basket
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 Basket
BlackBerry Fool : An Addict's Guide to Switching Off
Nicholas Bate
Item not Available
Format: Book (Hardback)
£6.99
£5.75
Item not Available
Book (Hardback)
Abnahme komplexer Software-Systeme : Das Praxishandbuch
Wolfgang W. Osterhage
Out of stock
Format: Book (Hardback)
Embedded Technologies : Vom Treiber bis zur Grafik-Anbindung
Joachim Wietzke
Out of stock
Format: Book (Hardback)
