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 BasketConfident 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 BasketAbnahme 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)