Lecture Notes in Computer Science Isabelle/Hol: A Proof Assistant for Higher-Order Logic, Book 2283, (Paperback)

Name: Lecture Notes in Computer Science Isabelle/Hol: A Proof Assistant for Higher-Order Logic, Book 2283, (Paperback)
Brand: Tobias Nipkow
SKU: prod_3ae36979ddc477c9f8271050
Price: 129.00 USD
Availability: InStock

Lecture Notes in Computer Science Isabelle/Hol: A Proof Assistant for Higher-Order Logic, Book 2283, (Paperback) Author: Springer ISBN: 9783540433767 Format: Paperback Publication Date: 2002-04-03 Page Count: 226

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Isabelle/Hol: A Proof Assistant for Higher-Order Logic, Book 2283, (Paperback)—

$129.00

Price unavailable

Lecture Notes in Computer Science Isabelle/Hol: A Proof Assistant for Higher-Order Logic, Book 2283, (Paperback)—

$129.00