Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Bernhard Beckert
Bernhard Beckert
All books by Bernhard Beckert
(
Displaying 3 Books
)
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt
Looking for another book by Bernhard Beckert?
Search for the book
by title.
