Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
/ IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
- New York: Springer, 2008
- xiii, 553p.
- International federation for information processing .