Catalog

Record Details

Catalog Search



CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings  Cover Image E-book E-book

CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / edited by Mario Bravetti, Gianluigi Zavattaro.

Record details

  • ISBN: 9783642040818
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Models and Principles.
Computation by Abstract Devices.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Theory of Computation.

Electronic resources



Additional Resources