Automata, Graphs and Logic

By Robinson Thamburaj and D Gnanaraj Thomas

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, applications of logic in software testing and certain interesting results on these topics. Exhibiting interconnections among these topics are of great benefit to the students, teachers and research community.

• Format: Hardcover
• Language: English
• ISBN: 8184876491
• ISBN13: 9788184876499
• Release Date: January 2020
• Publisher: Narosa Publishing House
• Length: 250 Pages