Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Thomas A. Henzinger
Thomas A. Henzinger
All books by Thomas A. Henzinger
(
Displaying 2 Books
)
Handbook of Model Checking
Edmund M. Clarke
Mathematical and Engineering Methods in Computer Science
Antonin Kucera
Looking for another book by Thomas A. Henzinger?
Search for the book
by title.
