adicionar à lista de desejos
Petri Nets For Systems Engineering
A Guide To Modeling, Verification, And Applications
idioma: inglês
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, novembro de 2002 ‧
ver detalhes do produto
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783540412175 |
| Editor: | SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Data de Lançamento: | novembro de 2002 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 607 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9783540412175 |
-
Petri Nets For Systems Engineering10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG108,14€ 10% CARTÃOportes grátis
-
Petri Nets For Systems Engineering10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG108,14€ 10% CARTÃOportes grátis