Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Jensen, Kurt (autor)
Awduron Eraill: Kristensen, Lars M. (autor) (autor)
Fformat: Llyfr
Iaith:Saesneg
Cyhoeddwyd: Berlín, Alemania : Springer, 2009, c2009
Pynciau:
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Disgrifiad
Disgrifiad Corfforoll:XI, 384 p.
ISBN:978-3-642-00283-0