Here, what we could find on your book search:

Andreas Lochbihler

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).

Interactive Theorem Proving

Interactive Theorem Proving

Jeremy Avigad and Assia Mahboubi

Check Price (5 deals)
Principled Software Development

Principled Software Development

Peter Müller and Ina Schaefer

Check Price (1 deals)
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Stefan Berghofer, Tobias Nipkow, Christian Urban and Makarius Wenzel

Check Price (1 deals)
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Breitner, Joachim

Check Price (4 deals)
Automated Deduction - CADE-25

Automated Deduction - CADE-25

Amy P. Felty and Aart Middeldorp

Check Price (5 deals)
A Machine-Checked, Type-Safe Model of Java Concurrency

A Machine-Checked, Type-Safe Model of Java Concurrency

Andreas Lochbihler

Check Price (4 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free