Decidability Of Parameterized Verification

de Igor Konnov, Ayrat Kalimov, Swen Jacobs e Roderick Bloem
idioma: inglês
Editor: MORGAN & CLAYPOOL PUBLISHERS, setembro de 2015 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro

Decidability Of Parameterized Verification

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

Propriedade Descrição
ISBN: 9781627057431
Editor: MORGAN & CLAYPOOL PUBLISHERS
Data de Lançamento: setembro de 2015
Idioma: Inglês
Dimensões: 187 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 170
Tipo de produto: Livro
Coleção: Synthesis Lectures On Distributed Computing Theory
Classificação Temática: Livros em Inglês > Informática > Outras Aplicações
EAN: 9781627057431

LIVROS DA MESMA COLEÇÃO