The book is currently out of stock

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
We’re missing your review here.