Hardware

Systems And Software Verification

Model-Checking Techniques And Tools

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

Bertrand.pt - Systems And Software Verification
idioma: Inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Edição: dezembro de 2010
Portes
Grátis
20%
162,21€
Poupe 32,44€ (20%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

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, M. Bidoit, A. Finkel, P. Schnoebelen, A. Petit, L. Petrucci e F. Laroussinie 
ISBN:
9783642074783
Ano de edição:
12-2010
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Idioma:
Inglês
Encadernação:
Capa mole
Páginas:
190
Tipo de Produto:
Livro
Classificação Temática:
Livros  >  Livros em Inglês  >  Informática  >  Hardware

EAN:
9783642074783

Dos mesmos autores

Emergency Atlantis
28,97€
BOOKS ON DEMAND
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.