click to view more
Logic & Lang Model Comp (4th Ed)
by Logic & Lang Model Comp (4th Ed)
$122.79
Description
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.
Last updated on
Product Details
- World Scientific Publishi Brand
- Feb 6, 2023 Pub Date:
- 9789811260667 ISBN-13:
- 9811260664 ISBN-10:
- English Language
- 9 in * 1.06 in * 6 in Dimensions:
- 2 lb Weight:
Money Back
Love it! Use it! Reuse it!
Free Shipping
Shipping is on us
Free Support
24/24 available
