Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory - Roderick Bloem - Livros - Springer International Publishing AG - 9783031008832 - 29 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 - Synthesis Lectures on Distributed Computing Theory

Roderick Bloem

Preço
SEK 479
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 22 - 28 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ????(n) parameterized by n ? N, whether, for all n ? N, the system ????(n) satisfies a specification.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 29 de setembro de 2015
ISBN13 9783031008832
Editoras Springer International Publishing AG
Páginas 158
Dimensões 334 g
Idioma English  
Mostrar tudo

Mais por Roderick Bloem

Ver tudo de Roderick Bloem ( por exemplo Paperback Book )