ເກມ
ແອັບ
ຮູບເງົາ ແລະ ໂທລະພາບ
ປຶ້ມ
ເດັກນ້ອຍ
google_logo Play
ເກມ
ແອັບ
ຮູບເງົາ ແລະ ໂທລະພາບ
ປຶ້ມ
ເດັກນ້ອຍ
none
search
help_outline
ເຂົ້າສູ່ລະບົບດ້ວຍ Google
play_apps
ຫ້ອງສະໝຸດ ແລະ ອູປະກອນ
payment
ການຈ່າຍເງິນ ແລະ ການສະໝັກໃຊ້
reviews
ການເຄື່ອນໄຫວຂອງຂ້ອຍໃນ Play
redeem
ຂໍ້ສະເໜີ
Play Pass
settings
ການຕັ້ງຄ່າ
ນະໂຍບາຍຄວາມເປັນສ່ວນຕົວ
•
ຂໍ້ກຳນົດບໍລິການ
ເກມ
ແອັບ
ຮູບເງົາ ແລະ ໂທລະພາບ
ປຶ້ມ
ເດັກນ້ອຍ
ອີບຸກ
Decision Procedures: An Algorithmic Point of View
US$24,50
US$21,32
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
3,0
star
US$19,25
US$16,75
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
US$19,25
US$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
US$19,25
US$16,75
Model Checking, second edition
US$46,99
Validation of Evolving Software
US$19,25
US$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
US$19,25
US$16,75
Decision Procedures: An Algorithmic Point of View, Edition 2
US$19,25
US$16,75