10% de desconto

Computer-Aided Verification Of Coordinating Processes

The Automata-Theoretic Approach

de Robert P. Kurshan
Livro eBook
idioma: inglês
Editor: Princeton University Press, julho de 2014 ‧
74,35€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

Computer-Aided Verification Of Coordinating Processes

The Automata-Theoretic Approach

de Robert P. Kurshan

Propriedade Descrição
ISBN: 9780691606057
Editor: Princeton University Press
Data de Lançamento: julho de 2014
Idioma: Inglês
Dimensões: 152 x 229 x 20 mm
Encadernação: Capa mole
Páginas: 284
Tipo de produto: Livro
Coleção: Princeton Legacy Library
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9780691606057

LIVROS DA MESMA COLEÇÃO