Skip to main content

Today Only | Save up to £20. Get the code »

alibris logo

Computation Engineering: Applied Automata Theory and Logic

by

Write The First Customer Review
Computation Engineering: Applied Automata Theory and Logic - Gopalakrishnan, Ganesh
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
+ Add to Wishlist
Browse related Subjects
+ Browse All Subjects

Many Computation Engineering textbooks emphasize automata theory only, not logic, losing a the opportunity to tie these subjects together and reinforce learning. This textbook ties theory and logic together, using interactive tools, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.

loading
Computation Engineering: Applied Automata Theory and Logic 2010, Springer, New York, NY

ISBN-13: 9781441937414

Trade paperback

 Computation Engineering: Applied Automata Theory and Logic 2006, Springer, New York, NY

ISBN-13: 9780387244181

2006 edition

Hardcover
Alibris BBB Business Review

Terms of Use | Privacy Policy | Recommendations by Simularity | Accessibility Statement
Copyright © 1998 - 2024 Alibris UK. All rights reserved.

Alibris, the Alibris logo, and Alibris.com are registered trademarks of Alibris, Inc.

Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.