Explore the latest books of this year!
Bookbot

Computation Engineering

Applied Automata Theory and Logic

Book rating

4.0(1)Add rating

Parameters

  • 508 pages
  • 18 hours of reading

More about the book

Focusing on the integration of automata theory and logic, this textbook offers a unique approach to Computation Engineering. It employs interactive tools like BDD and SAT to enhance understanding and engagement. By blending theoretical concepts with practical applications, the material remains relevant and accessible. Key ideas are illustrated across various domains, reinforcing learning and helping students connect theoretical frameworks with logical reasoning effectively.

Book purchase

Computation Engineering, Ganesh Gopalakrishnan

Language
Released
2010
product-detail.submit-box.info.binding
(Paperback)
We’ll email you as soon as we track it down.

Payment methods

4.0
Very Good
1 Ratings

We’re missing your review here.