Model Checking Software

Elemento

Título

Model Checking Software

Autores

Bartocci

Año Publicación

2013

Editorial

Springer Berlin Heidelberg

ISBN

978-3-642-39175-0

eBook

978-3-642-39176-7

PDF

https://cutt.ly/5n4XMDA

Colecciones

Springer