Catalog

Record Details

Catalog Search


Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings Cover Image E-book E-book

Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek.

Lilius, Johan. (editor.). Penczek, Wojciech. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642136757
  • Physical Description: X, 329p. 129 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Computation by Abstract Devices.
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.

Search for related items by series

Electronic resources

Texto completo


Additional Resources