ဂိမ်းများ
အက်ပ်များ
ရုပ်ရှင်နှင့် TV
စာအုပ်များ
ကလေးများ
google_logo Play
ဂိမ်းများ
အက်ပ်များ
ရုပ်ရှင်နှင့် TV
စာအုပ်များ
ကလေးများ
none
search
help_outline
Google ဖြင့် လက်မှတ်ထိုးဝင်ရန်
play_apps
ဒစ်ဂျစ်တိုက်နှင့် စက်ပစ္စည်းများ
payment
ငွေပေးချေမှုနှင့် စာရင်းပေးသွင်းမှုများ
reviews
ကျွန်ုပ်၏ Play လုပ်ဆောင်ချက်
redeem
အထူးဈေးနှုန်း
Play Pass
settings
ဆက်တင်များ
ကိုယ်ရေးအချက်အလက် လုံခြုံမှုဆိုင်ရာ မူဝါဒ
•
ဝန်ဆောင်မှုစည်းမျဉ်းများ
ဂိမ်းများ
အက်ပ်များ
ရုပ်ရှင်နှင့် TV
စာအုပ်များ
ကလေးများ
E-စာအုပ်
Decision Procedures: An Algorithmic Point of View
၂၄.၅၀ US$
၂၁.၃၂ US$
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
၃.၀
star
၁၉.၂၅ US$
၁၆.၇၅ US$
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
၁၉.၂၅ US$
၁၆.၇၅ US$
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
၄.၀
star
၁၉.၂၅ US$
၁၆.၇၅ US$
Model Checking, second edition
၄၆.၉၉ US$
Validation of Evolving Software
၁၉.၂၅ US$
၁၆.၇၅ US$
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
၅.၀
star
၁၉.၂၅ US$
၁၆.၇၅ US$
Decision Procedures: An Algorithmic Point of View, Edition 2
၁၉.၂၅ US$
၁၆.၇၅ US$