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)

$176.99

Hardback

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:   9789813229204
ISBN 10:   9813229209
Pages:   468
Publication Date:  
Audience:   College/higher education ,  Professional and scholarly ,  Primary ,  Undergraduate
Format:   Hardback
Publisher's Status:   Active

See Also