語系
Kristensen, Lars M.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Coloured petri nets = modelling and validation of concurrent systems /
by:
Kristensen, Lars M.; SpringerLink (Online service); Jensen, Kurt.
(書目-電子資源)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Kristensen, Lars M.; Petrucci, Laure.
(書目-電子資源)
主題
Software Engineering.
Petri nets
Computer Science.
Programming Techniques.
Petri nets.
Computer Systems Organization and Communication Networks.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.