For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
Programming with Higher-Order Logic
Programming with Higher-Order Logic
(
)
Author:
Miller, Dale
Nadathur, Gopalan
ISBN:
978-1-139-51657-0
Publication Date:
Jun 2012
Publisher:
Cambridge University Press
Book Format:
Ebook
List Price:
Contact Supplier contact
Buy Now
Featured Books
Beaverland
Philip, Leila
Paperback:
$19.99
This American Ex-Wife
Lenz, Lyz
Hardback:
$28.00
Meditations
Aurelius Marcus
Hardback:
$72.00
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.