Pay in installments of $5.30 with
,
and
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 27 - Aug 1
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.0 ★★★★★
Based on 8 reviews
Sort
Product Reviews
★★★★★ 4
Cute Omegaverse story
Format: Kindle
3.75 stars and 2 for spice. Adorable Omegaverse story about a wedding planner who has to go to a small town to plan a wedding for a movie star. While there, she meets her pack. This covers her struggles of not living there but trying to keep her relationship going with her 3 Alphas.
It's a quick read and cute, so I recommend it for people who like light-hearted RH stories.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 31, 2025
★★★★★ 3
real good
Format: Kindle
This was a solid read for the ABO universe. The characters are great. The smut scenes were well written. And the town is so cute I want to go there. It didn’t have much character development it just felt like I was getting to the characters as they were getting to know each other.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 27, 2025
★★★★★ 5
So sweet
Format: Kindle
It’s so unexpectedly sweet that it sneaks up on you. Each character is so unique and charming. I love the openness and honesty among their pack. It really blows me away how wonderful this omegaverse trope plays out.
I received a free copy of this book and am voluntarily leaving a review.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 21, 2026
★★★★★ 2
Needs editing
Format: Kindle
Cute storyline and promising characters, but the lack of editing is painful to read. I would love to read an edited version.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 10, 2025
★★★★★ 5
ABSOLUTELY A MUST for Omegaverse Girls!!!
I ABSOLUTELY LOVE Jillian West and her books!!! I’m so happy I already bought book two and now I have to buy the others for the Assurance Security series!!
Not gonna lie Val kind of annoyed me at the beginning but she grew on me!! Her men are chef’s kisses!!! Holt annoys me some but I can let it slide. I already bought part two so I’m going to be reading that in between work phone calls!!!! DON’T TELL MY BOSS 😂😂😂😂
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on September 30, 2025