Coloured Petri Nets - Modelling and Validation of Concurrent Systems

Författare
Kurt. Jensen
(Kurt Jensen, Lars M. Kristensen.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2009 Tyskland, Berlin, Heidelberg 978-3-642-00284-7
1997 Tyskland xii, 234 sidor. : ill. 3-540-60943-1
Springer-Vlg Cop. 1997 Tyskland, Berlin, New York ix, 265 sidor. : iIll. 3-540-62867-3
Springer-Vlg cop. 1995 Tyskland, Berlin, New York viii, 174 sidor. ill., tab.
Springer-Vlg 1992-1997 Tyskland, Berlin, New York 3 vol.
Springer-Vlg cop. 1992 Tyskland, Berlin, New York x, 234 sidor. ill.