This image is currently not available.

Isabelle

A Generic Theorem Prover
Springer (Publisher)
Published on 1. September 1994
Book
Paperback/Softback
321 pages
978-0-387-58244-3 (ISBN)
€43.24incl. 7% vat
Article not available

More details

Persons