Logic & Lang Model Comp (4th Ed)
You save $14.21 USD (10%)
Format

Book Overview This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer scie...
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.
Book Details Format: Hardcover | Pages: 476 | Language: English | Publisher: WORLD SCIENTIFIC PUB CO INC | ISBN: 9811260664
Shipping & Returns Fast, reliable shipping and easy returns on eligible items.
Most orders ship within 1–2 business days with fast, reliable U.S. delivery.
Eligible items can be returned within 30 days in line with our store return policy.
Why shop with AlbakiReads
Sourced through trusted book distributors, with fresh titles added regularly.
Your payment information is encrypted and protected every step of the way.
Most orders ship within 1–2 business days.
From page-turners to timeless classics—find your next favorite read.