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 |