Pay in installments of $5.30 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 28 - Aug 2
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 27 reviews
Sort
Product Reviews
★★★★★ 5
Tough
Size: Large, Color: Dinos Frills (Pink)
Tough dog toy that's held up through multiple washes! My dogs love the squeaker. They are not destructive chewers so I can't really say how it would hold up with that kind of dog though.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on June 8, 2026
★★★★★ 5
Cute and well made my dogs love it.
Size: Mini, Color: Gator (Pink)
Cute little toy definatly for small toy sized dogs. This toy is bright and colorful and well made. My little dog likes it very much and tosses it around all the time. Great toy for fetch.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 5, 2026
★★★★★ 1
Squeaker inside toy breaks after 2 days
Size: Mini, Color: Gator (Pink)
Bought for my 8 lb chihuahua for Christmas. I have 3 little girls. The youngest loves her toys and of course she took this one over immediately. She just loved everything about it. The material on the gator is amazingly durable and I believe would hold up for a good while. The squeaker inside the toy however, broke after 2 days of my girl playing with it. It's now a noiseless toy that she does not like too much as it does not squeak because it only had the one squeaker in it.
I would recommend that 2 squeakers be inserted into this gator. I would not purchase again due to the longevity of the squeaker...only lasted 2 days.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on January 5, 2026
★★★★★ 5
Go dog toys are the best!
Size: Large, Color: Dinos Frills (Pink)
These are the only stuffed toys I buy for my Pittie because they are so well made. Even when she unstuffs them, she plays with them forever!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 16, 2026
★★★★★ 5
My dog loves these toys.
Size: Mini, Color: Gator (Pink)
Not a huge toy, nor is my dog. But we have lots of goDog toys. Practically indestructible and my dog likes to carry these in his mouth and bring them onto the foot of our bed. Brilliant colors and good squeaker but my dog is afraid of the squeak. Fair value for cost.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on June 10, 2026