It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.
The treatment of computability with Automata and Formal Languages stands out in several ways:
Readership: Students and professionals interested in theoretical computation and language models for computer science.
"synopsis" may belong to another edition of this title.
This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata—motivating topics by linking them to computing and to computational applications, sometime with whole chapters. They achieve exceptional clarity through a plethora of examples and figures, yet without-losing sight of, and indeed celebrating, the precision that is the hallmark of this subject matter.
Features of the book include:"About this title" may belong to another edition of this title.
Shipping:
US$ 2.64
Within U.S.A.
Book Description Condition: New. Seller Inventory # 30108422-n
Book Description Condition: New. Seller Inventory # ABLIING23Apr0412070096165
Book Description HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CX-9789813229204
Book Description Hardcover. Condition: new. Seller Inventory # 9789813229204
Book Description Condition: New. Seller Inventory # 30108422-n
Book Description Condition: new. Seller Inventory # 8410a61354d759c2414165e0589eeb68
Book Description Condition: New. Seller Inventory # I-9789813229204
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9789813229204_lsuk
Book Description HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CX-9789813229204
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Klappentext This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of comp. Seller Inventory # 449942641