Games
Apps
Books
Children
google_logo Play
  • Sign in with Google
  • play_appsLibrary & devices
  • paymentPayments & subscriptions
  • reviewsMy Play activity
  • redeemOffers
  • Play Pass
  • Personalization in Play
  • settingsSettings
  • Privacy Policy • Terms of Service
Games
Apps
Books
Children
More by Radu Calinescu
Icon image Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
€27.24€19.07
Icon image Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
€54.49€38.14
Icon image Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
€54.49€38.14
Google Play

Play Pass

Play Points

Gift cards

Redeem

Refund policy

Children and family

Parent guide

Family sharing

Terms of Service

Privacy

About Google Play

Developers

Google Store

All prices include VAT.