Computer Aided Verification

Elemento

Título

Computer Aided Verification

Autores

Kroening

Año Publicación

2015

Editorial

Springer International Publishing

ISBN

978-3-319-21689-8

eBook

978-3-319-21690-4

PDF

https://cutt.ly/fh6jsiN

EPUB

https://cutt.ly/Wh6jYbM

Colecciones

Springer