von: Edmund M. Clarke · Thomas A. Henzinger · Helmut Veith · Roderick Bloem
Gebunden
Details (USA)
(siehe auch: eBook (Kindle))
ISBN: 978-3-319-10574-1
ISBN-10: 3-319-10574-4
Springer · 2018
|
|
von: Edmund M. Clarke · Thomas A. Henzinger · Helmut Veith · Roderick BloemGebunden Details (USA) ISBN: 978-3-319-10574-1 ISBN-10: 3-319-10574-4 Springer · 2018 |
| S. auch: | ||
| 2019 | Taschenbuch | Handbook of Model Checking |