Logic And Language Models For Computer Science (Third Edition), Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa) (9789813229204) — Readings Books

Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!

Become a Readings Member. Sign in or sign up for free!

Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.

Hello Readings Member! Go to the member centre or sign out.

In Victoria? Order in-stock items by Sunday 14 December to get your gifts by Christmas! Or find the deadline for your state here.

Cart ⚙️
Home / Logic And Language Models For Computer Science (Third Edition)
Logic And Language Models For Computer Science (Third Edition)
Hardback

Logic And Language Models For Computer Science (Third Edition)

Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa)
$264.99
Add to wishlist
Sign in or become a Readings Member to add this title to your wishlist.

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
In Shop
Out of stock
Shipping & Delivery

$9.00 standard shipping within Australia
FREE standard shipping within Australia for orders over $100.00
Express & International shipping calculated at checkout

MORE INFO

Stock availability can be subject to change without notice. We recommend calling the shop or contacting our online team to check availability of low stock items. Please see our Shopping Online page for more details.

Format
Hardback
Publisher
World Scientific Publishing Co Pte Ltd
Country
Singapore
Date
24 October 2017
Pages
468
ISBN
9789813229204

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
Format
Hardback
Publisher
World Scientific Publishing Co Pte Ltd
Country
Singapore
Date
24 October 2017
Pages
468
ISBN
9789813229204

Looking for something in particular?

Search our extensive online catalogue.