Decidability of Parameterized Verification - Roderick Bloem - Livros - Morgan & Claypool - 9781627057431 - 30 de setembro de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Decidability of Parameterized Verification


Receba um e-mail quando o item estiver disponível
Você tem um perfil? Entrar
Adicione à sua lista de desejos do iMusic
Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 30 de setembro de 2015
ISBN13 9781627057431
Editoras Morgan & Claypool
Páginas 172
Dimensões 191 × 235 × 9 mm   ·   303 g
Idioma Inglês  

Mais por Roderick Bloem

Mostrar tudo

Mais dessa série