|
ComputingReviews.com
|
Real-time systems :formal specification and automatic verification Olderog E., Dierks H., Cambridge University Press,New York, NY,2008. 344 pp. Type:Book |
|
|
|
Published By: Cambridge University Press |
|
|
|
|
|
|
|
|
You can purchase a book without having a subscription.
|
|
|
|
|
|
|