10% de desconto

Computer-Aided Verification Of Coordinating Processes

The Automata-Theoretic Approach

de Robert P. Kurshan
idioma: inglês
Editor: Princeton University Press, abril de 2016 ‧
197,37€
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: 9780691634890
Editor: Princeton University Press
Data de Lançamento: abril de 2016
Idioma: Inglês
Dimensões: 152 x 229 x 20 mm
Encadernação: Capa dura
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: 9780691634890

LIVROS DA MESMA COLEÇÃO