FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
Publication year: 2007
: 978-3-540-77050-3
This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007. The papers provide original research results in fundamental aspects of computer science as well as reports from the frontline of software technology and theoretical computer science.
: Computer Science, Automat, automata, automata theory, complexity, complexity theory, computer, design, formal method, logic, mathematical logic, programming
