Computer Aided Verification
de Daniel Kroening, Corina S. Păsăreanu
Materias
Ediciones (4)
- Computer Aided Verification (2015)
Springer · ISBN 9783319216676
- Computer Aided Verification (2015)
Springer London, Limited · inglés · ISBN 9783319216683
- Computer Aided Verification (2015)
Springer · ISBN 9783319216898
- Computer Aided Verification (2015)
Springer London, Limited · inglés · ISBN 9783319216904
