Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Richard Bubel
Richard Bubel
All books by Richard Bubel
(
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 Richard Bubel?
Search for the book
by title.
