Handbook of Model Checking

Checking

von: Edmund M. Clarke · Thomas A. Henzinger · Helmut Veith · Roderick Bloem

Taschenbuch

ISBN-13: 978-3-030-13233-0

ISBN-10: 3-030-13233-1

Springer · 2019

S. auch:
2018Gebundene AusgabeHandbook of Model Checking