Skip to content

Specification and Compositional Verification of Real-Time Systems

Best in textbook rentals since 2012!

ISBN-10: 0387549471

ISBN-13: 9780387549477

Edition: N/A

Authors: J. Hooman

List price: $53.95
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $53.95
Publisher: Springer
Binding: Hardcover
Pages: 235
Language: English