Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Reiner Hähnle
Reiner Hähnle
All books by Reiner Hähnle
(
Displaying 3 Books
)
Automated Reasoning
Jürgen Giesl
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt
Looking for another book by Reiner Hähnle?
Search for the book
by title.
