Pay in installments of $5.30 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Aug 17 - Aug 22
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.7 ★★★★★
Based on 15 reviews
Sort
Product Reviews
★★★★★ 5
Simple but does the job
Color: Black, Size: Small
Simple and does the job. Sturdy as well to hold my remotes.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 25, 2026
★★★★★ 5
Perfect Nightstand Organizer and Looks Amazing
Color: Dark Brown
This valet tray is exactly what I was looking for. The wood looks great and feels sturdy, and it keeps all my everyday items in one place. I use it for my keys, wallet, watch, and phone, and my nightstand looks much neater now. Its great to keep all the thing you need when leaving the house in one place.
It’s the perfect size, well made, and looks nice enough to leave out on display. Would definitely recommend this if you want an easy way to keep your essential items organized or need a solid gift idea.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 21, 2026
★★★★★ 5
Great product
Color: Dark Brown
Can't complain at all. For the price it is perfect. Looks great, does it's job flawlessly. Highly recommend.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on December 31, 2025
★★★★★ 5
Great for entryway organization
Color: Light Brown
This is a great addition to an enterior entry surface to reduce clutter. I place wallet, knife, keys, and other items here when I return and haven't misplaced a wallet or keys since. It looks great, resists dust well, and is durable. The perfect size for a sofa table, or entry table.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 20, 2026
★★★★★ 4
Slight delamination
Color: Black
I purchased this to better contain all the stuff I keep in my pockets when I change pants. I keep it on my nightstand. The size is perfect for my needs. It seems fairly well made. However as others have mentioned, the bottom rubber lining arrived slightly delaminated. In my case, it’s not a huge issue as the area is a very thin line. I would recommend that the manufacturer do a little better job with the gluing process during assembly and pay more attention performing a QC check. Other than this small complaint, I am satisfied with this tray.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 14, 2026