Games
Apps
Movies & TV
Books
Kids
google_logo Play
Games
Apps
Movies & TV
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
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Movies & TV
Books
Kids
Ebooks
Temporal Verification of Reactive Systems: Safety
$34.65
$30.15
The Temporal Logic of Reactive and Concurrent Systems: Specification
$19.25
$16.75
Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
$29.00
$17.27
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
$19.25
$16.75
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
$34.65
$30.15
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
$34.65
$30.15