Handbook of Model Checking
de Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Ediciones (3)
- Handbook of Model Checking (2019)
Springer · ISBN 9783030132330
- Handbook of Model Checking (2018)
Springer International Publishing AG · inglés · ISBN 9783319105741
- Handbook of Model Checking (2017)
Springer London, Limited · inglés · ISBN 9783319105758
Más obras de Edmund M. Clarke
