Publication Date: 2007
ISBN: 978-3-540-77050-3
Internet Resource: Please Login to download book
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.
Subject: Computer Science, Automat, automata, automata theory, complexity, complexity theory, computer, design, formal method, logic, mathematical logic, programming