Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 6 - Jul 11
Promo Codes Available:
For Your Every Summer RSVP, with Code: SUMMER15
Description
The Little ProverBy: Daniel P. Friedman, Carl Eastlund Illustrator: Duane Bibby An introduction to writing proofs about computer programs, written in an accessible question and answer style, complete with step by step examples and a simple proof assistant. The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question and answer, with the characteristic humor of The Little
By: Daniel P. Friedman, Carl Eastlund | Illustrator: Duane BibbyAn introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.
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.4 ★★★★★
Based on 531 reviews
Sort
Product Reviews
★★★★★ 5
Made my bathroom look beautiful
Color: White, Size: 15.7 Inches
The mounting and the color were excellent. I hung this in my bathroom and thought it was going to be a hard install for me. The hardware that came with this was very self explanatory. The fit was perfect and the quality was great. I would surely buy this item again in the future
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 13, 2026
★★★★★ 5
Great wall shelves!
Color: White, Size: 15.7 Inches
Great quality, and firmness. easy to set up. will need a drill to speed up process. White wood finish is really nice, not glossy so perfect for me. width is a little on the shorter side depending on what youre looking to place on them but true to sizing as described
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on May 4, 2026
★★★★★ 4
Floating Shelves
Color: White, Size: 15.7 Inches, Color: White, Size: 15.7 Inches
I purchased a set of white floating shelves for my bedroom a couple months back, and I must say, they have definitely added a touch of modern elegance to the space. The installation process was surprisingly simple and straightforward, making it a breeze to set up the shelves exactly where I wanted them. The package came with all the necessary hardware, including sturdy brackets and screws, ensuring a hassle-free setup experience. I will say that the wall anchors included are not the best quality and I used a third party set.
The sleek and minimalistic design of these floating shelves instantly caught my eye, and I couldn't be happier with how they complement the overall decor of my room. The clean lines and the bright white finish pop with the walls, providing a chic and uncluttered display area for my decorative items, and cherished keepsakes. They truly elevate the aesthetic appeal of any room and create an illusion of more space, which is always a bonus.
However, one aspect that did disappoint me slightly was the visibility of the screws underneath the shelves. While the overall appearance is sleek and sophisticated, this minor flaw hinders the shelves from achieving a truly seamless "floating" effect. I understand that the screws are essential for stability and security, but I wish the manufacturer had found a way to conceal them better, perhaps with a cleverly designed cover or by providing white screw caps.
Despite this minor setback, I still appreciate the functionality and attractiveness of these floating shelves. They have undoubtedly decluttered my living space and allowed me to proudly showcase my favorite items. I have received compliments from friends and family on how the shelves enhance the ambiance of the room.
In conclusion, if you are seeking easy-to-install, stylish white floating shelves to add a contemporary touch to your home, these shelves are an excellent choice. Their seamless installation and sleek appearance make them a delightful addition to any room. Although the visible screws detract slightly from the overall aesthetic, the shelves' overall performance and elegance more than make up for it.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on July 28, 2023
★★★★★ 5
Good Product
Color: White, Size: 15.7 Inches
Well designed and sturdy. Though not real wood I think they will last. It took me an hour to install the first shelf. That was all on me. I was slow measuring and placing the shelf bracket. I kept dropping the level and doing other crazy things. But the second and third shelves were easy after I learned what I was doing. Even though the screws, etc were provided I used Easy Anchor drywall anchors rated at 50 pounds. Just drill it in the sheet rock then screw the screw through the hole in the bracket until it clicks, (you have to listen). That means the ends of the plastic anchor flips out like a toggle bolt. Continue tightening the screw and that is it. Think I read somewhere that the board wobbles. These were tight as could be and no wobble.
I did learn to only "tighten" just one end of the bracket sort of snug and let it hang. Then raise it to level and mark the other holes with a pencil. Don't put the other screws in until you are sure you can see the plastic anchors' holes though the bracket. Then place and tighten all the screws. The only negative I saw was that they could have sent the same or similar anchors that I have. But they didn't call me. Guess they didn't have my number.
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on March 10, 2026
★★★★★ 5
Easy to Install and Looks Great
Color: White, Size: 15.7 Inches
These floating shelves are a great addition to my daughter room space! They were very easy to install, and the instructions were clear and straightforward. The material feels solid and durable. I also really appreciated that the package included all the necessary hardware and materials, which made the setup even more convenient.
They look great on the wall and serve their purpose perfectly. Highly recommend!
WAS THIS REVIEW HELPFUL?YesReportShare
Reviewed in the United States on April 9, 2026