En caso de que portada y título no coincidan, el título será el correcto

Recomienda este artículo a tus amigos:

Roderick Bloem
Decidability of Parameterized Verification Roderick Bloem

¿Tienes un perfil? Iniciar sesión

Recibe notificaciones sobre nuevos lanzamientos de Roderick Bloem

Nuestros clientes opinan:

Añadir a tu lista de deseos de iMusic

Aún no valorado

Decidability of Parameterized Verification

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	30 de septiembre de 2015
ISBN13	9781627057431
Editores	Morgan & Claypool
Páginas	172
Dimensiones	191 × 235 × 9 mm · 303 g
Lengua	Inglés

Mostrar todo