10% de desconto

Systems And Software Verification

Model-Checking Techniques And Tools

de B. Berard, A. Finkel, F. Laroussinie, M. Bidoit, L. Petrucci, P. Schnoebelen e A. Petit
idioma: inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, dezembro de 2010 ‧
162,21€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

Systems And Software Verification

Model-Checking Techniques And Tools

de B. Berard, A. Finkel, F. Laroussinie, M. Bidoit, L. Petrucci, P. Schnoebelen e A. Petit

Propriedade Descrição
ISBN: 9783642074783
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Data de Lançamento: dezembro de 2010
Idioma: Inglês
Encadernação: Capa mole
Páginas: 190
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Informática > Hardware
EAN: 9783642074783