Computer Aided Verification

Elemento

Título

Computer Aided Verification

Autores

Sharygina

Año Publicación

2013

Editorial

Springer Berlin Heidelberg

ISBN

978-3-642-39798-1

eBook

978-3-642-39799-8

PDF

https://cutt.ly/4h6jlnL

Colecciones

Springer