Readings Books

Create and share wishlists and easily view your order history.

Please note: requests using email addresses that aren't tied to an account will be ignored to keep customer details secure. If you do not receive an email within 30 minutes, you either do not have an account or your account is already confirmed.

Please note: requests using email addresses that aren't tied to an account will be ignored to keep customer details secure. If you do not receive an email within 30 minutes, you do not have an account.

Get started with your online account. To identify yourself, enter the email address you gave when signing up in store.

Cart ()

Readings Recommends

Subtotal (excludes shipping)

Re-send account confirmation

Reset your password

Reset your password

Search results for ‘Rajeev Alur’

6 Products

FILTER & REFINE

Principles of Cyber-Physical Systems

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Computer Aided Verification: 8th International Conference, CAV ‘96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Hybrid Systems III: Verification and Control

Looking for something in particular?

Readings E-News