The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...
656 pages; ISBN 9780672332036
, or download in or
No Place to Hide 2014 US$ 12.99 256 pages
Program Logics for Certified Compilers 2014 US$ 14.99 469 pages