Andrew W. Appel 
Program Logics for Certified Compilers [PDF ebook] 

Support
€101.53
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9781139899383 ● Publisher Cambridge University Press ● Published 2014 ● Downloadable 6 times ● Currency EUR ● ID 2966807 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,455 Ebooks in this category