10% de desconto

Decidability Of Parameterized Verification

de Igor Konnov, Ayrat Kalimov, Swen Jacobs e Roderick Bloem
idioma: inglês
Editor: Springer International Publishing AG, setembro de 2015 ‧
54,06€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Decidability Of Parameterized Verification

de Igor Konnov, Ayrat Kalimov, Swen Jacobs e Roderick Bloem

Propriedade Descrição
ISBN: 9783031008832
Editor: Springer International Publishing AG
Data de Lançamento: setembro de 2015
Idioma: Inglês
Dimensões: 191 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 158
Tipo de produto: Livro
Coleção: Synthesis Lectures On Distributed Computing Theory
Classificação Temática: Livros em Inglês > Gestão > Gestão e Organização
Livros em Inglês > Informática > Programação
EAN: 9783031008832