Catalog

Record Details

Catalog Search


Search Results Showing Item 3 of 3

Transactions on Petri Nets and Other Models of Concurrency VIII

Koutny, Maciej. (editor.). Aalst, Wil M. P. (editor.). Yakovlev, Alex. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642404658
  • Physical Description: electronic
    electronic resource
    access
    remote
    XVIII, 203 p. 85 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Search Results Showing Item 3 of 3

Additional Resources