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