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

Name: Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Tobias Nipkow

0 - Default Title

Product details

Binding:

Paperback

Edition:

1

Number of Pages:

240

Release Date:

2002-04-03

Publication Date:

2002-04-03

Publisher:

Springer

Languages:

Published: English, Original: English

ISBN10:

3540433767

GPSR Manufacturer Reference:

[email protected]

Weight:

363 g

Buy on Amazon

Currently sold out