Games
Apps
Books
Kids
google_logo Play
Games
Apps
Books
Kids
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
Personalization in Play
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Books
Kids
Amir Pnueli
Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient.
Ebooks
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
€54.49
€38.14
Temporal Verification of Reactive Systems: Safety
€98.09
€68.66
The Temporal Logic of Reactive and Concurrent Systems: Specification
€54.49
€38.14
