|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
4.0 out of 5 stars
Awesome book,
By
Amazon Verified Purchase(What's this?)
This review is from: Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) (Paperback)
I bought this book to learn the basics of system verification
for a project that I needed to do. The information contained in the book is very interesting, and though the project has now been successfully completed, I am still planning to go through the rest of the book. It shipped quickly and arrived in very good condition, I recommend this for anyone in system verification. |
|
Most Helpful First | Newest First
|
|
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) by Klaus Schneider (Hardcover - December 11, 2003)
Used & New from: $110.41
| |
| ||
