Computer Aided Verification

Elemento

Título

Computer Aided Verification

Autores

Kroening

Año Publicación

2015

Editorial

Springer International Publishing

ISBN

978-3-319-21667-6

eBook

978-3-319-21668-3

PDF

https://cutt.ly/1h6hH2F

EPUB

https://cutt.ly/oh6h04d

Colecciones

Springer