BooksCloudSKU: 9789811260667
Logic & Lang Model Comp (4th Ed) - Hardcover
$198.16
/
Shipping calculated at checkout.
In stock (50)
$198.16
Logic & Lang Model Comp (4th Ed) - Hardcover
$198.16
/
Logic & Lang Model Comp (4th Ed) - Hardcover
$198.16
/
products.product.pickup_availability.unavailable
Still deciding?
Payment & Security
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
Security
Related categories
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.
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
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee
%20-%20Hardcover){kind=link}