Sold out but wanted!
Parameters
- 530 pages
- 19 hours of reading
Book purchase
Temporal Verification of Reactive Systems, Various authors
- Language
- Released
- 1995
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.
- Title
- Temporal Verification of Reactive Systems
- Subtitle
- Safety
- Language
- English
- Authors
- Various authors
- Publisher
- Springer
- Released
- 1995
- Format
- Hardcover
- Pages
- 530
- ISBN10
- 0387944591
- ISBN13
- 9780387944593
- Series
- Tags
- Non-Fiction, Technology & Engineering, References & Manuals, Computers & Internet, Books, Logic, Software Development, Algorithms
- Rating
- 4.5 out of 5