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

by Markus Wenzel (Contributor), Markus Wenzel (Contributor), Lawrence C. Paulson (Contributor), Tobias Nipkow (Author)

New
Illustrated
2002
$58.20

$58.20

Save:$3.78 (6%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 240
Edition: 2002
Publisher: Springer
Published: 03 Apr 2002
ISBN 10: 3540433767
ISBN 13: 9783540433767

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

New

$58.20

$58.20

More Information