गेम
अॅप्स
चित्रपट आणि टीव्ही
पुस्तके
मुले
google_logo Play
गेम
अॅप्स
चित्रपट आणि टीव्ही
पुस्तके
मुले
none
search
help_outline
Google सह साइन इन करा
play_apps
लायब्ररी आणि डिव्हाइस
payment
पेमेंट आणि सदस्यत्वे
reviews
माझी Play ॲक्टिव्हिटी
redeem
ऑफर
Play Pass
settings
सेटिंग्ज
गोपनीयता धोरण
•
सेवा अटी
गेम
अॅप्स
चित्रपट आणि टीव्ही
पुस्तके
मुले
ईबुक
Decision Procedures: An Algorithmic Point of View
$२४.५०
$२१.३२
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
३.०
star
$१९.२५
$१६.७५
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
$१९.२५
$१६.७५
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
४.०
star
$१९.२५
$१६.७५
Model Checking, second edition
$४६.९९
Validation of Evolving Software
$१९.२५
$१६.७५
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
५.०
star
$१९.२५
$१६.७५
Decision Procedures: An Algorithmic Point of View, Edition 2
$१९.२५
$१६.७५