Introduction to Static Analysis An Abstract Interpretation Perspective Xavier Rival and Kwangkeun Yi 2020 Hardcover $65.00 £55.00 Add to Cart Preview
The Little Typer Daniel P. Friedman and David Thrane Christiansen 2018 Paperback $38.00 £32.00 Add to Cart Preview
How to Design Programs, Second Edition An Introduction to Programming and Computing Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi 2018 Paperback $60.00 £50.00 Add to Cart Preview
The Reasoned Schemer, Second Edition Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, and Jason Hemann 2018 Paperback $30.00 £25.00 Add to Cart Preview
Programming for the Puzzled Learn to Program While Solving Puzzles Srini Devadas 2017 Paperback $25.00 £20.00 Add to Cart Preview
Perceptrons, Reissue Of The 1988 Expanded Edition With A New Foreword By Léon Bottou An Introduction to Computational Geometry Marvin Minsky and Seymour A. Papert 2017 Paperback $35.00 £28.00 Add to Cart Preview
Scientific Programming and Computer Architecture Divakar Viswanath 2017 Hardcover $65.00 £55.00 Add to Cart Preview
Fundamental Proof Methods in Computer Science A Computer-Based Approach Konstantine Arkoudas and David Musser 2017 Hardcover $60.00 £50.00 Add to Cart Preview
Introduction to Computation and Programming Using Python, Second Edition With Application to Understanding Data John V. Guttag 2016 Paperback $45.00 £38.00 Add to Cart Preview
A Gentle Introduction to Effective Computing in Quantitative Research What Every Research Assistant Should Know Harry J. Paarsch and Konstantin Golyaev 2016 Hardcover $50.00 £40.00 Add to Cart Preview
The Little Prover Daniel P. Friedman and Carl Eastlund 2015 Paperback $40.00 £32.00 Add to Cart Preview