Logic And Language Models For Computer Science (Third Edition)
Regular price
€63.99
14 days return policy
Shipping & Delivery
A01=Dana Richards
A01=Henry Hamburger
Age Group_Uncategorized
Age Group_Uncategorized
Author_Dana Richards
Author_Henry Hamburger
automatic-update
Category1=Non-Fiction
Category=UMK
Category=UYF
Category=UYQL
COP=Singapore
Delivery_Delivery within 10-20 working days
eq_bestseller
eq_computing
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Formal Languages
Language_English
Logic Automata Theory
PA=Available
Price_€50 to €100
PS=Active
softlaunch
Theory of Computation
Product details
- ISBN 9789813230507
- Publication Date: 24 Oct 2017
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Paperback
- Language: English
Secure
checkout
Fast Shipping
Easy returns
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 computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
