Pay in installments of $5.30 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Aug 9 - Aug 14
Promo Codes Available:
For Your Every Summer RSVP, with Code: SUMMER15
Description
Mathematical Theory of ComputationWith the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students.Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treamtent is self-contained, and each chapter concludes with bibliographic remarks, references, and problems.
Binding Type: Paperback
Publisher: Dover Publications
Published: 12/24/2003
ISBN: 9780486432380
Pages: 448
Weight: 1.07lbs
Size: 8.40h x 5.50w x 0.95d
Shipping Notes
- Free Standard Shipping on $100+ Orders to the USA.
- Except Preorder products are shipped in 48 hours.
- Delivery to the USA:
- Standard Shipping : 3-10 business days
- If time is of the essence, please consider selecting expedited delivery for faster service.
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy
4.8 ★★★★★
Based on 9 reviews
Sort
Product Reviews
★★★★★ 5
Your dog will thank you.
Color: Dogwood & Fresh Breath, Size: Large
My dogs loves to chew on these. They make a small mess but not as bad as other chews. They are food for keeping teeth clean.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 31, 2026
★★★★★ 5
Nice chew toy
Color: Dogwood Mushroom, Size: Medium, Color: Dogwood Mushroom, Size: Medium
Super durable and puppy loves it. It was a bit hard for her at first but now at 5 months it’s one of her favorite things to gnaw on! It is heavy for the size but seems to be great quality and has given many hours of chew time with minimal wear.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 12, 2026
★★★★★ 4
Long lasting
Color: Dogwood & Calming, Size: Medium
My dogs love these bones.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 25, 2026
★★★★★ 5
Puppy loves these sticks!
Color: Dogwood & Calming, Size: Medium
Dogs love these sticks! Must smell and taste like real wood because it keeps my puppy from bringing real sticks in the house from outside. She is a heavy chewer and these sticks keep her occupied. We are on our 2nd set.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 27, 2026
★★★★★ 5
Great value for the price, highly recommend
Color: Dogwood & Calming, Size: Medium
Our dog loves these and chews them down to nothing. They are a great value for the money and the use your dog gets out of them. The size is just right for our doberdor.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 20, 2026