Here, what we could find on your book search:

Wolfgang Ahrendt

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

Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle and Mattias Ulbrich

Check Price (9 deals)
The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel and Einar Broch Johnsen

Check Price (6 deals)
Geologicka Bibliografie Ceske Republiky Za Roky 2002 a 2003

Geologicka Bibliografie Ceske Republiky Za Roky 2002 a 2003

M. Baborska

Check Price (4 deals)
Tests and Proofs

Tests and Proofs

Wolfgang Ahrendt and Heike Wehrheim

Check Price (8 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free