Matemática

Petri Nets For Systems Engineering

A Guide To Modeling, Verification, And Applications

de Rudiger Valk e Claude Girault 

Bertrand.pt - Petri Nets For Systems Engineering
idioma: Inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Edição: novembro de 2002
141,61€
Notifiquem-me quando disponível
RESERVAR NA LIVRARIA Livrarias

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms.

Petri Nets For Systems Engineering
A Guide To Modeling, Verification, And Applications
de Rudiger Valk e Claude Girault 
ISBN:
9783540412175
Ano de edição:
11-2002
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
607
Tipo de Produto:
Livro
Classificação Temática:
Livros  >  Livros em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9783540412175

Dos mesmos autores

Petri Nets For Systems Engineering
20%
portes grátis
20% Cartão Leitor Bertrand
108,14€
Poupe 21,63€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Petri Nets For Systems Engineering
20%
portes grátis
20% Cartão Leitor Bertrand
108,14€
Poupe 21,63€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
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.