Decidability of Parameterized Verification - Roderick Bloem - Libros - Morgan & Claypool - 9781627057431 - 30 de septiembre de 2015
En caso de que portada y título no coincidan, el título será el correcto

Decidability of Parameterized Verification


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Añadir a tu lista de deseos de iMusic
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  

Mas por Roderick Bloem

Mostrar todo

Más de esta serie