Logic & Lang Model Comp (4th Ed) - Hardcover
$191.16
Skip to product information
Logic & Lang Model Comp (4th Ed) - Hardcover
$191.16
Shipping calculated at checkout.
by Richards Dana (Author)
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.
Number of Pages: 496
Dimensions: 1.06 x 9 x 6 IN
Publication Date: February 06, 2023
Details
This product is crafted with quality materials to ensure durability and performance. Designed with your convenience in mind, it seamlessly fits into your everyday life.
Shipping & Returns
We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.
We are committed to ensuring a positive shopping experience for all our customers. If for any reason you wish to return an item, we invite you to reach out to our team for assistance, and we will evaluate every return request with care and consideration.
