Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 10 - Jul 15
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.5 ★★★★★
Based on 979 reviews
Sort
Product Reviews
★★★★★ 5
perfect for sensitive skin
Style: Tolerance Control Soothing Skin Recovery Cream
This provided perfect therapy for sensitive skin. IT WORKS!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 19, 2026
★★★★★ 5
LOVE
Style: Tolerance Control Soothing Skin Recovery Cream
I have extremely sensitive skin and this stuff is AMAZING. After being in sun, facial, stripped skin from treatments or products it’s super calming.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 10, 2026
★★★★★ 5
Nice products with positive results
I bought Anua toner, trio, and moisturizer. I am in love with these products. They clean your skin really well without leaving residue. They moisturize without leaving your skin oily, and after less than a week of use, I'm already seeing improvement in my skin texture. It really is a good value for the price and how much you use each time. All of this with no irritation.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 7, 2026
★★★★★ 5
Great for sensitive skin!
Most azelaic acid serum make my skin feel prickly or even a slight burning sensation so I was glad to find this, which has a lower percentage of azelaic acid but also combines CICA. This product does not irritate my sensitive skin and I still get some calming benefits. I use it in place of a toner after washing my face and before other products. It does seem to help calm my rosacea.
Note that this is more soothing than moisturizing so you may still want some sort of barrier cream to use over it at night. It works great under my sunscreen during the day.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 17, 2026
★★★★★ 5
Good
Deja la piel hidratada desde su primer uso.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 22, 2026
recommand products
Edlund Old Reliable #1 Manual Can Opener Without Base for Cans Up to 11 Inches Tall
214.27
BlendPort Budget Series 96-Inch x 30-Inch 430 Stainless Steel Work Table with Backsplash and Undershelf
501.98
Old Tree Intimate Wash With Tea Tree Oil
14.30
MicroGard Touch-Free Integrated Handwashing Station with Skirt, 304 Stainless Steel
1237.47
Smarty Pants | Face To Face
95.99