Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Jensen, Kurt (autor)
Այլ հեղինակներ:	Kristensen, Lars M. (autor) (autor)
Ձևաչափ:	Գիրք
Լեզու:	անգլերեն
Հրապարակվել է:	Berlín, Alemania : Springer, 2009, c2009
Խորագրեր:	Redes de Petri - > Tema Principal Redes (Matemáticas) Métodos de Simulación Modelos Matemáticos Teoría de Grafos Sistemas Computacionales Ingeniería Computacional Matemáticas
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Եղիր առաջինը, ով թողնում է մեկնաբանություն!

Նմանատիպ նյութեր