BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Isabelle/Hol:
A Proof Assistant for Higher-Order Logic

by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

ISBN 3540433767 / 9783540433767 / 3-540-43376-7
Publisher Springer Verlag
Country Germany
Language English
Edition Softcover
List price $54.95
Find All Copies

 


› Find collectible copies of 'Isabelle/Hol: A Proof Assistant for Higher-Order Logic'