الألعاب
التطبيقات
الأفلام والتلفزيون
الكتب
للأطفال
google_logo Play
الألعاب
التطبيقات
الأفلام والتلفزيون
الكتب
للأطفال
none
search
help_outline
تسجيل الدخول باستخدام حساب Google
play_apps
المكتبة والأجهزة
payment
الدفعات والاشتراكات
reviews
نشاطي في Play
redeem
العروض
Play Pass
التخصيص في Play
settings
الإعدادات
سياسة الخصوصية
•
بنود الخدمة
الألعاب
التطبيقات
الأفلام والتلفزيون
الكتب
للأطفال
الكتب الإلكترونية
Decision Procedures: An Algorithmic Point of View
24.50 US$
21.32 US$
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
3.0
star
19.25 US$
16.75 US$
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
19.25 US$
16.75 US$
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
4.0
star
19.25 US$
16.75 US$
Model Checking, second edition
46.99 US$
Validation of Evolving Software
19.25 US$
16.75 US$
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
19.25 US$
16.75 US$
Decision Procedures: An Algorithmic Point of View, Edition 2
19.25 US$
16.75 US$