-49%

Logic And Language Models For Computer Science (Third Edition) eBook

Name: Logic And Language Models For Computer Science (Third Edition) eBook
Brand: eBooks
SKU: 9789813229228
Price: 23.50
Availability: InStock

Original price was: $46.00.Current price is: $23.50.

By: Dana Richards; Henry Hamburger
Publisher: World Scientific
Print ISBN: 9789813229204, 9813229209
eText ISBN: 9789813229228, 9813229225
Edition: 3rd
Copyright year: 2018

eText ISBN: 9789813229228 SKU: 9789813229228 Category: Trending Tags: Computers, Logic Design Print ISBN: 9789813229204

Description
Reviews (0)

Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices.

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.