10% de desconto

Coloured Petri Nets eBook

Modelling And Validation Of Concurrent Systems

de Lars M. Kristensen e Kurt Jensen
idioma: inglês
Editor: Springer Berlin Heidelberg, junho de 2009 ‧
71,54€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. This book introduces the constructs of the CPN modelling language and presents the related analysis methods. It provides a comprehensive road map for the practical use of CPN.

Coloured Petri Nets

Modelling And Validation Of Concurrent Systems

de Lars M. Kristensen e Kurt Jensen

Propriedade Descrição
ISBN: 9783642002847
Editor: Springer Berlin Heidelberg
Data de Lançamento: junho de 2009
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Computer Science
Classificação Temática: eBooks em Inglês > Informática > Programação
eBooks em Inglês > Informática > Hardware
EAN: 9783642002847

LIVROS DA MESMA COLEÇÃO