Get Free Shipping on orders over $79
LOGIC & LANG MODEL COMP (4TH ED) : 4th Edition - RICHARDS DANA

LOGIC & LANG MODEL COMP (4TH ED)

4th Edition

By: RICHARDS DANA

Hardcover | 6 February 2023

At a Glance

Hardcover


$196.90

or 4 interest-free payments of $49.23 with

 or 

Ships in 5 to 7 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
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Rust Atomics and Locks : Low-Level Concurrency in Practice - Mara Bos
Developing Graphics Frameworks with Java and OpenGL - James Cona
Simply AI : Facts Made Fast - DK

RRP $22.99

$18.75

18%
OFF
Digital Design and Computer Architecture : ARM Edition - Sarah Harris