Catalog

Record Details

Catalog Search



Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Giuseppe Castagna.

Electronic resources

Record details

  • ISBN: 9783642005909
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science.
Software engineering.
Information theory.
Computer software.
Logic design.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Theory of Computation.

Additional Resources