Pay in installments of $5.30 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 16 - Jul 21
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.2 ★★★★★
Based on 14 reviews
Sort
Product Reviews
★★★★★ 5
Does what expected
Size: 132‘’Wide-6 Panel, Color: Black
Did exactly what we needed. Not terribly sturdy so don’t expect a lot
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 27, 2026
★★★★★ 5
Very pleased with this purchase
Size: 88‘’Wide-4 Panel, Color: Grey
This is very easy to assemble, light weight, and does exactly what it is supposed to. I thought it would be a little bit taller, but it gets the job done.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 18, 2026
★★★★★ 5
Well made
Size: 102''Wide-3 Panel, Color: Beige
Worked great and looked nice. Easy to put together
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on December 29, 2025
★★★★★ 4
Worked well to separate space!
Size: 132‘’Wide-6 Panel, Color: Grey
Did the job I needed. I created a hang out area in part of the basement for my pre-teen and wanted a little privacy/separation for the area. Not hard to put together and was to move around. I do wish the legs Ira on with the rollers didn’t jet out so far.. is quite a tripping hazard..
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on December 17, 2025
★★★★★ 5
Perfect!
Size: 88‘’Wide-4 Panel, Color: Grey, Size: 88‘’Wide-4 Panel, Color: Grey
This is exactly what I was looking for. I created essentially a doorway into the pantry area I have in my basement. I had the bought a screen years ago that hid most of it but this completed it. I ordered the 4 panels, for the size, and created a "door" of out the two.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 7, 2025
recommand products
Bindki, India Street Lamp & Brick Wall Vector Illustration | Editable SVG, PNG, EPS, AI & PDF | City Vectors
11.00
Bilpahari, India Street Lamp & Brick Wall Vector Illustration | Editable SVG, PNG, EPS, AI & PDF | City Vectors
11.00
Bhilakhedi, India Street Lamp & Brick Wall Vector Illustration | Editable SVG, PNG, EPS, AI & PDF | City Vectors
11.00
Bhikhiwind, India Street Lamp & Brick Wall Vector Illustration | Editable SVG, PNG, EPS, AI & PDF | City Vectors
11.00
Bolpur, India Street Lamp & Brick Wall Vector Illustration | Editable SVG, PNG, EPS, AI & PDF | City Vectors
11.00