Computation Engineering: Applied Automata Theory and Logic

Author:   Ganesh Gopalakrishnan
Publisher:   Springer-Verlag New York Inc.
Edition:   1st ed. Softcover of orig. ed. 2006
ISBN:  

9781441937414


Pages:   472
Publication Date:   29 October 2010
Format:   Paperback
Availability:   Out of print, replaced by POD   Availability explained
We will order this item for you from a manufatured on demand supplier.

Our Price $327.36 Quantity:  
Add to Cart

Share |

Computation Engineering: Applied Automata Theory and Logic


Add your own review!

Overview

Full Product Details

Author:   Ganesh Gopalakrishnan
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   1st ed. Softcover of orig. ed. 2006
Dimensions:   Width: 15.50cm , Height: 2.50cm , Length: 23.50cm
Weight:   0.771kg
ISBN:  

9781441937414


ISBN 10:   1441937412
Pages:   472
Publication Date:   29 October 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of print, replaced by POD   Availability explained
We will order this item for you from a manufatured on demand supplier.

Table of Contents

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)


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)


"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)"


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List