google_logo Play

Sign in with Google
Library & devices
Payments & subscriptions
My Play activity
Offers
Gift cards
Play Pass
Third-party app stores
Personalization in Play
Settings

Privacy Policy • Terms of Service

Nicolas Halbwachs

Ebooks

Icon image Synchronous Programming of Reactive Systems

Synchronous Programming of Reactive Systems

Icon image Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

Google Play

Play Pass

Play Points

Gift cards

Redeem

Refund policy

Kids & family

Parent Guide

Family sharing

Terms of Service

Privacy

About Google Play

Developers

Google Store

United States (English (United States))