• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logic & Lang Model Comp (3rd Ed)

Logic & Lang Model Comp (3rd Ed)

Hardcover

General ComputersProgramming

ISBN10: 9813229209
ISBN13: 9789813229204
Publisher: World Scientific Publishing Company
Published: Sep 21 2017
Pages: 468
Weight: 1.81
Height: 1.20 Width: 5.90 Depth: 9.10
Language: English
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.

1 different editions

Also available

Also from

Dana Richards & Henry Hamburger

Also in

Programming