Book Details

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

Publication year: 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