All books / Book
Model Checking, second edition (Cyber Physical Systems Series)
| Full title: | Model Checking, second edition (Cyber Physical Systems Series) |
|---|---|
| ISBN: | 9780262038836 |
| ISBN 10: | 0262038838 |
| Authors: | Grumberg, Orna Veith, Helmut Kroening, Daniel Peled, Doron Clarke Jr., Edmund M. |
| Publisher: | The MIT Press |
| Edition: | second edition |
| Num. pages: | 424 |
| Binding: | Hardcover |
| Language: | en_US |
| Published on: | 2018-12-04T00:00:01Z |
Read the reviews and/or buy it on Amazon.com
