Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Amir Pnueli
Amir Pnueli
All books by Amir Pnueli
(
Displaying 1 Book
)
The temporal logic of reactive and concurrent systems
Zohar Manna
Looking for another book by Amir Pnueli?
Search for the book
by title.
