Logic And Language Models For Computer Science (Third Edition)

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. Read More

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. Read Less

• All from $4.27
• New Books from $41.76
• Used Books from $4.27
• Rare Books from $30.72
• eBook from $46.00

• All Copies (0)
• Choose Edition (2)

Currently there are no used copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.

2017, World Scientific Publishing Company ISBN-13: 9789813230507 Trade paperback See All from $4.27

2017, World Scientific Publishing Co Pte Ltd, Singapore ISBN-13: 9789813229204 Hardcover See All from $46.15