Here, what we could find on your book search:

Tobias Nipkow

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

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Matthias Baaz and Andrei Voronkov

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

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

Andreas Lochbihler

Check Price (10 deals)
Isabelle

Isabelle

Lawrence C. Paulson

Check Price (4 deals)
From Formal Semantics to Verified Slicing

From Formal Semantics to Verified Slicing

Daniel Wasserrab

Check Price (5 deals)
Proof and System-Reliability

Proof and System-Reliability

Helmut Schwichtenberg and Ralf Steinbrüggen

Check Price (1 deals)
Computer Science Logic

Computer Science Logic

Jerzy Marcinkowski

Check Price (1 deals)
Automated Deduction - CADE-18

Automated Deduction - CADE-18

Andrei Voronkov

Check Price (1 deals)
Programming Language Foundations

Programming Language Foundations

Aaron Stump

Check Price (3 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now