Catalog

Record Details

Catalog Search



Transactions on Petri Nets and Other Models of Concurrency VII Cover Image E-book E-book

Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf.

Jensen, Kurt. (editor.). Aalst, Wil M. P. (editor.). Balbo, Gianfranco. (editor.). Koutny, Maciej. (editor.). Wolf, Karsten. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642381430
  • Physical Description: XVI, 423 p. 250 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Computation by Abstract Devices.
Logics and Meanings of Programs.

Electronic resources



Additional Resources