Welcome to IOU Digital Library

This volume contains the proceedings of the 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), held in Istanbul, Turkey, in September 2008. It presents peer-reviewed research papers covering fundamental and applied topics in theoretical computer science, including formal methods, program semantics, concurrency, verification, algorithms, and system modeling. The collection reflects current advances and rigorous approaches to computation theory and software correctness, aimed at researchers and advanced practitioners in computer science.

no reviews

245: $a: Theoretical Aspects of Computing – ICTAC 2008
245: $b:
082: $a:
100: $a: John S. Fitzgerald & Anne E. Haxthausen & Husnu Yenigun (Editors)
650: $a: Theoretical computer science
250: $a:
440: $v:
250: $b: Springer (Springer‑Verlag Berlin Heidelberg)
250: $c: 2008
020: $a: 978-3-540-85761-7
300: $a: 624