Get Free Shipping on orders over $89
Logic And Language Models For Computer Science (Fourth Edition) : 4th Edition - Dana Richards

Logic And Language Models For Computer Science (Fourth Edition)

4th Edition

By: Dana Richards, Henry Hamburger

Hardcover | 6 February 2023

At a Glance

Hardcover


$279.99

or 4 interest-free payments of $70.00 with

 or 

Ships in 5 to 10 business days

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.


This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.

More in Computer Architecture & Logic Design

Basic Computer Architecture - Earl Bermann
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Computer Systems 3ed : A Programmer's Perspective, Global Edition - David O'Hallaron
Simply AI : Facts Made Fast - DK

RRP $22.99

$20.75

10%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Fundamentals of Software Architecture : A Modern Engineering Approach - Mark Richards
Statistics and Data Foundations for AI - Tamraparni Dasu

RRP $94.99

$85.75

10%
OFF
Statistics and Data Foundations for AI - Tamraparni Dasu

RRP $175.00

$155.75

11%
OFF
Software Engineering Methods : A Design Thinking Based Approach - Soumya Sankar Basu