Model Checking, Second Edition
de Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
Materias
Ediciones (1)
- Model Checking, Second Edition (2018)
MIT Press · inglés · ISBN 9780262349451
de Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
MIT Press · inglés · ISBN 9780262349451
