You are here

Programming with Higher-Order Logic

Dale Miller and Gopalan Nadathur
Publisher: 
Cambridge University Press
Publication Date: 
2012
Number of Pages: 
306
Format: 
Hardcover
Price: 
65.00
ISBN: 
9780521879408
Category: 
Monograph
We do not plan to review this book.