Computation Engineering: Applied Automata Theory and Logic

by

Write The First Customer Review

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.

Computation Engineering: Applied Automata Theory and Logic 2010, Springer

ISBN-13: 9781441937414

Trade paperback

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

ISBN-13: 9780387244181

Hardcover

Select