Automata, Graphs and Logic - Couverture rigide

Thomas, D. Gnanaraj; Thamburaj, Robinson

 
9788184876499: Automata, Graphs and Logic

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.