Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Bernd Finkbeiner
Bernd Finkbeiner
All books by Bernd Finkbeiner
(
Displaying 2 Books
)
Automated Technology for Verification and Analysis
Bernd Finkbeiner
Fields of Logic and Computation III
Andreas Blass
Looking for another book by Bernd Finkbeiner?
Search for the book
by title.