|
von: Edmund M. Clarke · Thomas A. Henzinger · Helmut Veith · Roderick BloemTaschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) ISBN-13: 978-3-030-13233-0 ISBN-10: 3-030-13233-1 Springer · 2019 |
| S. auch: | ||
| 2018 | Gebundene Ausgabe | Handbook of Model Checking |