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.

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

Logic And Language Models For Computer Science (Third Edition)

Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa)
$156.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
Format
Paperback
Publisher
World Scientific Publishing Co Pte Ltd
Country
Singapore
Date
24 October 2017
Pages
468
ISBN
9789813230507

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

Looking for something in particular?

Search our extensive online catalogue.