Permainan
Apl
Filem & TV
Buku
Kanak-kanak
google_logo Play
Permainan
Apl
Filem & TV
Buku
Kanak-kanak
none
search
help_outline
Log masuk dengan Google
play_apps
Pustaka & peranti
payment
Pembayaran & langganan
reviews
Aktiviti Play Saya
redeem
Tawaran
Play Pass
settings
Tetapan
Dasar Privasi
•
Syarat Perkhidmatan
Permainan
Apl
Filem & TV
Buku
Kanak-kanak
e-Buku
Decision Procedures: An Algorithmic Point of View
USD 24.50
USD 21.32
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
3.0
star
USD 19.25
USD 16.75
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
USD 19.25
USD 16.75
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
4.0
star
USD 19.25
USD 16.75
Model Checking, second edition
USD 46.99
Validation of Evolving Software
USD 19.25
USD 16.75
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
5.0
star
USD 19.25
USD 16.75
Decision Procedures: An Algorithmic Point of View, Edition 2
USD 19.25
USD 16.75