Automata, Graphs and Logic

Automata, graphs, and logic are three key areas of current research in theoretical computer science and discrete mathematics. This book addresses important issues like automata and verification, automata and computational complexity, connections among automata, logic and graphs, and applications of logic in software testing.