Overview
- Approaches automata theory and logic as the underlying engineering mathematics for Computation Engineering
- Covers classical topics such as the Rice's Theorem, as well as modern topics such as Model checking, Buchi Automata, and temporal Logic
- Restores the Automaton-Logic connection missing in most undergraduate books on automata theory
- Employs many interactive tools to illustrate key concepts
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (24 chapters)
Keywords
About this book
Reviews
From the reviews:
"One of the constant challenges faced by computer science faculty is how to tie in the theory of computing with applications. This text attempts to do just that … . Overall, this book is a good undergraduate theory text. … It includes exercises, with software tools to aid in visualization of key ideas. … The exercises are appropriate for an undergraduate-level class. … It is a good text … ." (M. D. Derk, Computing Reviews, December, 2006)
"The book under review shows, logic and automata theory can be combined to provide powerful tools for checking computer code … . There is no doubt that the book was written with great care and that it caters for a real need. … the book is written in a very lively style, which makes reading it quite pleasurable. … many nice applications of automata that are peppered throughout the book." (S. C. Coutinho, SIGACT News, Vol. 39 (3), 2008)
Authors and Affiliations
Bibliographic Information
Book Title: Computation Engineering
Book Subtitle: Applied Automata Theory and Logic
Authors: Ganesh Gopalakrishnan
DOI: https://doi.org/10.1007/0-387-32520-4
Publisher: Springer New York, NY
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag US 2006
Hardcover ISBN: 978-0-387-24418-1Published: 02 June 2006
Softcover ISBN: 978-1-4419-3741-4Published: 29 October 2010
eBook ISBN: 978-0-387-32520-0Published: 10 September 2006
Edition Number: 1
Number of Pages: XXXVI, 472
Topics: Theory of Computation, Circuits and Systems, Mathematical Logic and Formal Languages, Electrical Engineering