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 Nicolas Navet
Icon image Modeling and Verification of Real-time Systems: Formalisms and Software Tools
Modeling and Verification of Real-time Systems: Formalisms and Software Tools
€215.99
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.