Computer Aided Verification
de Isil Dillig, Serdar Tasiran
Ediciones (5)
- Computer Aided Verification (2020)
Saint Philip Street Press · ISBN 9781013271151
- Computer Aided Verification (2019)
Springer Nature · ISBN 9783030255435
- Computer Aided Verification (2019)
Springer · ISBN 9783030255398
- Computer Aided Verification (2019)
Springer · ISBN 9783030255428
- Computer Aided Verification (2019)
Springer Nature · ISBN 9783030255404
Más obras de Isil Dillig
