TY  - GEN
TY  - GEN
T1  - Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
T2  - Theoretical Computer Science and General Issues ;
A2  - Lilius, Johan.
A2  - Lilius, Johan.
A2  - Penczek, Wojciech.
A2  - Penczek, Wojciech.
LA  - English
PP  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg : Imprint: Springer
YR  - 2010
ED  - 1st ed. 2010.
UL  - http://discoverylib.upm.edu.my/discovery/Record/978-3-642-13675-7
OP  - 329
CN  - QA75.5-76.95
SN  - 9783642136757
KW  - Computers.
KW  - Computer programming.
KW  - Software engineering.
KW  - Computer logic.
KW  - Programming languages (Electronic computers).
KW  - Computation by Abstract Devices.
KW  - Programming Techniques.
KW  - Software Engineering/Programming and Operating Systems.
KW  - Software Engineering.
KW  - Logics and Meanings of Programs.
KW  - Programming Languages, Compilers, Interpreters.
ER  -