|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Ganesh GopalakrishnanPublisher: 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: 9781441937414ISBN 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 ![]() We will order this item for you from a manufatured on demand supplier. Table of ContentsReviewsFrom 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 InformationTab Content 6Author Website:Countries AvailableAll regions |