Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Zohar Manna
Zohar Manna
All books by Zohar Manna
(
Displaying 4 Books
)
Introduction to Mathematical Theory of Computation (Computer Science)
Zohar Manna
Temporal Verification of Reactive Systems
Zohar Manna
The Calculus of Computation
Aaron R. R. Bradley
The Calculus of Computation: Decision Procedures with Applications to Verification
Aaron R. Bradley
Looking for another book by Zohar Manna?
Search for the book
by title.