JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Non-Fiction, Computing & Internet

Logic And Language Models For Computer Science (Third Edition)

Dana Richards (author), Henry Hamburger (author)

Hardback Published on: 24/10/2017

£86.00

No reviews yet, be the first

Free UK delivery on orders over £25

We can order this from the publisher
Usually dispatched within 2 weeks

Make and edit your lists in your account

No stock available in any shop.

We can order this from the publisher
Usually dispatched within 2 weeks

No stock available in any shop.

View other formats and editions

Synopsis

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.