Get cash for books you no longer need - it’s free and easy ! SELL YOUR BOOKS

Free delivery over £5 Free delivery over £5

OVER 100 MILLION BOOKS REHOMED

Books by Wolfgang Ahrendt

Filters

Close all

Sort by:

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions

Tests and Proofs

Tests and Proofs

Author: Wolfgang Ahrendt

View Product

Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

Author: Wolfgang Ahrendt

View Product

Deductive Software Verification - The KeY Book

Deductive Software Verification - The KeY Book

Author: Wolfgang Ahrendt

View Product

The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods

Author: Wolfgang Ahrendt

View Product

Integrated Formal Methods

Integrated Formal Methods

Author: Wolfgang Ahrendt

View Product

48