Logic And Language Models For Computer Science (Third Edition) Dana Richards (George Mason Univ, Usa)

Name: Logic And Language Models For Computer Science (Third Edition) By Dana Richards (George Mason Univ, Usa)
SKU: 9789813230507
Price: 8.10 USD
Availability: OutOfStock

Logic And Language Models For Computer Science (Third Edition) by Dana Richards (George Mason Univ, Usa)

Reviews:

$8.10

Condition - Very Good

Out of stock

Very Good

Faster Shipping

Get this product faster from our US warehouse

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

Logic And Language Models For Computer Science (Third Edition) by Dana Richards (George Mason Univ, Usa)

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.

Additional information

Sku

CIN9813230509VG

ISBN 13

9789813230507

ISBN 10

9813230509

Title

Logic And Language Models For Computer Science (Third Edition) by Dana Richards (George Mason Univ, Usa)

Author

Dana Richards (George Mason Univ, Usa)

Condition

Used - Very Good

Binding type

Paperback

Publisher

World Scientific Publishing Co Pte Ltd

Year published

20171024

Number of pages

468

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us