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.
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Hardcover. Etat : Very Good. N° de réf. du vendeur mon0002863919
Quantité disponible : 4 disponible(s)