Computer Aided Verification
de Hana Chockler, Georg Weissenbacher
Materias
Ediciones (5)
- Computer Aided Verification (2020)
Saint Philip Street Press · ISBN 9781013271014
- Computer Aided Verification (2018)
Springer · ISBN 9783319961446
- Computer Aided Verification (2018)
Springer Nature · ISBN 9783319961453
- Computer Aided Verification (2018)
Springer Nature · ISBN 9783319961422
- Computer Aided Verification (2018)
Springer · ISBN 9783319961415
