Here, what we could find on your book search:

Johannes Hölzl

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Reflections on the Foundations of Mathematics

Reflections on the Foundations of Mathematics

Stefania Centrone, Deborah Kant and Deniz Sarikaya

Check Price (3 deals)
Interactive Theorem Proving

Interactive Theorem Proving

Jeremy Avigad and Assia Mahboubi

Check Price (9 deals)
Principled Software Development

Principled Software Development

Peter Müller and Ina Schaefer

Check Price (6 deals)
Intelligent Computer Mathematics

Intelligent Computer Mathematics

Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe and Volker Sorge

Check Price (8 deals)
Programming Languages and Systems

Programming Languages and Systems

Jan Vitek

Check Price (8 deals)
Interactive Theorem Proving

Interactive Theorem Proving

Lennart Beringer and Amy Felty

Check Price (6 deals)
Computer Aided Verification

Computer Aided Verification

Hana Chockler and Georg Weissenbacher

Check Price (3 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now