PERHAPS A GIFT VOUCHER FOR MUM?: MOTHER'S DAY

Close Notification

Your cart does not contain any items

Logic And Language Models For Computer Science

Third Edition

Dana Richards (George Mason Univ, Usa) Henry Hamburger (George Mason Univ, Usa)

$104.99

Paperback

Not in-store but you can order this
How long will it take?

QTY:

English
World Scientific Publishing Co Pte Ltd
11 September 2017
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.

By:   , ,
Imprint:   World Scientific Publishing Co Pte Ltd
Country of Publication:   Singapore
ISBN:   9789813230507
ISBN 10:   9813230509
Pages:   468
Publication Date:  
Audience:   College/higher education ,  Professional and scholarly ,  Primary ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

See Also