Logic And Language Models For Computer Science (Third Edition)
Price for Eshop: 1082 Kč (€ 43.3)
VAT 0% included
New
E-book delivered electronically online
E-Book information
World Scientific Publishing Company
2017
EPub, PDF
How do I buy e-book?
468
978-981-3229-22-8
981-3229-22-5
Annotation
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.
Ask question
You can ask us about this book and we'll send an answer to your e-mail.