Catalog

Record Details

Catalog Search



Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings  Cover Image E-book E-book

Theoretical Aspects of Computing – ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari.

Record details

  • ISBN: 9783642232831
  • Physical Description: X, 267p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Subject: Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Algorithm Analysis and Problem Complexity.

Electronic resources



Additional Resources