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 | 27 January 2023

At a Glance

Hardcover


RRP $212.99

$191.75

10%OFF

or 4 interest-free payments of $47.94 with

 or 

Ships in 15 to 25 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

Deep Learning in Genome Mapping : Computation and Analysis - Soumya Ranjan Nayak
Architecture and AI : Controlling the Hallucination - Mustapha El Moussaoui

RRP $284.00

$246.75

13%
OFF
Unveiling the Art of Steganography : A Modern Approach - Urmila Pilania
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
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Unveiling the Art of Steganography : A Modern Approach - Urmila Pilania
System Design on AWS : Building and Scaling Enterprise Solutions - Jayanth Kumar
Optical Networks and Components : Fundamentals and Advances - Partha Pratim Sahu

RRP $222.00

$133.99

40%
OFF
The Designer's Guide to VHDL, third edition : Volume 3 - Peter Ashenden