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.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

SUCCESS POINT INTERNATIONAL, INC.
9700 Richmond, Ste. 202, Houston, TX, 77042, U.S.A.

Sale & Shipping Terms

Terms of Sale

Our goal is that you are completely satisfied with your purchase. We take pride in the quality of the products we sell and offering great customer service is our top priority, if you are not completely satisfied with your purchase, please follow the guidelines detailed below and we will be happy to help you to return your purchase. You can return the book within 35 days from the time of your purchase; in its original condition for a refund. Refund amount depends on the nature of return reason : ...

More Information

Shipping Terms

New book in mint condition.Please allow 2-4 business days for Expedited and 6-8 business days with Standard Shipping method. We do not ship to APO/FPO.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	4 to 8 business days
First item	US$ 0.00	US$ 6.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.