Dale Miller & Gopalan Nadathur 
Programming with Higher-Order Logic [EPUB ebook] 

Support
€53.80
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9781139506298 ● Publisher Cambridge University Press ● Published 2012 ● Downloadable 3 times ● Currency EUR ● ID 5683207 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,637 Ebooks in this category