Explore the latest books of this year!
Bookbot

Temporal Verification of Reactive Systems

Safety

Authors

  • Various authors

Book rating

Book purchase

Temporal Verification of Reactive Systems, Various authors

Language
Released
1995
product-detail.submit-box.info.binding
(Hardcover),
Book condition
Good
Price
€8.49

Payment methods

4.5
Very Good
2 Ratings

We’re missing your review here.

Title
Temporal Verification of Reactive Systems
Subtitle
Safety
Language
English
Publisher
Springer
Released
1995
Format
Hardcover
Pages
530
ISBN10
0387944591
ISBN13
9780387944593
Series
Rating
4.5 out of 5