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

Conte aos seus amigos sobre este item:

Roderick Bloem
Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory Roderick Bloem

Name: Decidability of Parameterized Verification - Synthesis Lectures on Distributed Computing Theory
Price: 44.99 EUR
Availability: OutOfStock
Author: Roderick Bloem

Preço

€ 44,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 19 de jun

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Roderick Bloem

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	150 × 220 × 10 mm · 334 g
Idioma	Inglês