Skip to Main Content

Pickup or delivery?

All Departments

Rollbacks & More

Rollbacks & More

Shop All Rollbacks Grocery Electronics Beauty Home Fashion Patio & Garden Household Essentials Toys Sports & Outdoors Baby Pets Home Improvement Health & Wellness Auto & Tires Clearance Flash Deals Extra Savings

4th of July

4th of July Prep Patriotic Shop Fashion & Accessories Food & Drinks Party Supplies Fireworks Outdoor Hosting Decor Water Ready Outdoor Games Patriotic Bakery & Desserts Americana Savings

Grocery

All Grocery Meals Made Easy Weekly Essentials Recipe Inspiration Meat & Seafood Fresh Produce Frozen Bakery & Bread Snacks Pantry Deli Dairy & Eggs Beverages Breakfast & Cereal Baking Candy Global Cuisine Alcohol Floral Shop

Clothing, Shoes & Accessories

Clothing, Shoes & Accessories

All Clothing, Shoes & Accessories Premium Fashion New Arrivals Women Women's Plus Maternity Men Young Adult Tween Kids Toddler Baby Shoes Jewelry & Watches Bags & Accessories Swim Shop Editors' Picks

Baby & Kids

All Baby All Kids Baby Clothing Toddler Clothing Kids Clothing Bulk Baby Supplies Diapers & Wipes Baby Formula & Baby Food Nursery & Decor Kids Room Baby Travel Gear Baby Registry WIC

Pharmacy, Health & Wellness

Pharmacy, Health & Wellness

All Health & Wellness Pharmacy Vitamins & Supplements Pain Management Caregiver Hub Protein, Fitness & Weight Management Diabetes Management Allergy & Sinus Women's Wellness First Aid & Injury Recovery Vision Center Digestive Health & Wellness Cough, Cold & Flu Eyecare Kids Health & Wellness International Medicine Benefits Hub

Home, Garden & Tools

Home, Garden & Tools

All Home All Patio & Garden Tools & Home Improvement Back to College Furniture Mattresses Kitchen & Dining Home Decor Bedding Bath Kids Rooms Appliances Storage & Organization Vacuums, Steamers & Floorcare Luggage & Travel Registry & Lists Design Your Space

Electronics

All Electronics TVs & Home Theater Laptops, PCs & Tablets Cell Phones & Accessories Headphones & Speakers Printers & Accessories Cameras & Drones Home Appliances Wearables & Smart Tech Smart Home & Wi-Fi Batteries Resold at Walmart

Gaming & Movies

Gaming & Movies

Shop All Gaming PlayStation Nintendo XBOX PC Gaming Meta Nex Playground Gaming Accessories VR Headsets & Gear Movies & TV Shows

Auto & Tires

All Auto & Tires Tires & Installation Auto Parts & Accessories Oil and Fluids Auto Detailing & Car Care Batteries & Accessories Auto Electronics Automotive Tools & Equipment Vehicles RV Parts & Accessories Rideshare & Delivery Supplies Auto Care Center Schedule an Oil Change Tire Services Schedule Battery Installation

Personal Care

All Personal Care Haircare Bath and Body Oral Care Sexual Wellness Feminine Care Deodorant Shave Men's Essentials Incontinence Suncare & Tanning

Beauty

All Beauty Premium Beauty Makeup Haircare Skincare Fragrance Nail Care Suncare & Tanning Beauty Tech & Tools The Curl Shop Men's Grooming K-Beauty Shop

Toys & Outdoor Play

Toys & Outdoor Play

All Toys & Outdoor Play Toy Savings Outdoor Play & Ride Ons Preschool Toys Dolls Building Sets & Blocks Games & Puzzles Arts & Crafts Action Figures Cars & Remote Controls Collectibles & Exclusives Toys New Arrivals Batteries

Household Essentials

Household Essentials

All Household Essentials Cleaning Supplies Laundry Paper & Plastic Air Fresheners Pest Control Dishwashing Batteries Delivery Subscriptions

Pet Supplies

Shop All Pets Pet Profiles Pet Prescriptions Premium Pets Dog Supplies Dog Food Dog Toys Cat Supplies Cat Food Cat Toys Fish & Aquatic Pets Farm Animals Small Animals Reptiles Birds

School, Office & Art Supplies

School, Office & Art Supplies

All School Supplies All Office Supplies All Arts, Crafts & Sewing Crafting Art Supplies Teacher's Classroom Shop Classroom Registry Sewing Fabric Shipping & Moving

Sports & Outdoors

Sports & Outdoors

All Sports & Outdoors Outdoor Sports Camping Boating Fishing Hunting Exercise & Fitness Sports Bikes Games & Outdoor Recreation Pools, Hot Tubs & Supplies Sports Fan Shop

Collectibles, Books & Music

Collectibles

All Collectibles New Releases Preorders Trading Cards Sports Memorabilia Plush Action Figures Coins & Bullion Dolls Dollhouses

Books

All Books Comic Books

Music

All Music Musical Instruments Premium Musical Instruments Record Players

Party Supplies

All Party Supplies Cake Decorating Decorations & Kits Party Tableware Party Favors Gift Wrap & Bags Balloons Party Hats, Pinatas & More Greeting Cards Personalized Cards & Gifts

Resold

All Resold Rollbacks & More Electronics Home & Kitchen Computers & Tablets Cell Phones Pre-Loved Fashion Video Games & Consoles Beauty Tools Garden & Tools Baby Gear Vacuums

Auto Care Center Services

Auto Care Services

Auto Care Center Services Buy Tires & Schedule Installation Tire Maintenance Battery Installation Schedule an Oil Change Vehicle Maintenance Virtual Garage Find an Auto Care Center

Pharmacy

Pharmacy Home Pharmacy Delivery Refill Prescriptions Transfer Prescriptions Find a Pharmacy $4 Prescriptions Pet Pharmacy

Health Services

Telehealth Wellness Hub Birth Control Prescribing Testing & Treatment: Strep Throat, Flu & COVID-19 Medicare GLP-1 Bridge

Vaccines

Schedule now All Vaccines Flu shots COVID-19

Vision & Optical

Vision Center

Vision Home Order Contact Lenses Prescription Glasses Women's Prescription Glasses Men's Prescription Glasses Kids Prescription Glasses Prescription Sunglasses Safety Prescription Glasses Try-on Glasses Virtually Find a Vision Center Schedule Eye Exam

Insurance & Benefits

Benefit Programs

All Benefit Programs SNAP WIC Food & OTC Benefits FSA/HSA

Insurance Services

Insurance Services Home Individual & Family Plans Medicaid Renewal Medicare Information Compare Medicare Plans Pet Insurance

Registry, Lists, & Gifts

Lists

Create a shopping list Manage your lists

Registries

Registries Wedding Registry Baby Registry Classroom Registry Any Occasion Wishlist

Gift Cards

Shop all gift cards Walmart gift cards

Spark Good

Support a local charity Access nonprofit resources

Custom Cakes

Design Your Own Cake Trending Custom Cakes

Custom Cupcakes

All Custom Cupcakes Cupcake Cakes

Featured

Photo Center Same day gifts Prints Cards

Photo Gifts

Canvas Prints Mugs & Tumblers Custom T-shirts Photo Books Wall Art Blankets All Photo Gifts

Financial Services

OnePay Hub

OnePay Credit Card OnePay Cash OnePay Later Walmart MoneyCard Reloadable Debit Card

Money & Other Services

Money Center Personal Loans

Gift Cards

All Gift Cards Bulk Gift Cards Check your gift card balance Walmart Gift Cards Visa, Mastercard, & AMEX Gift Cards

Protection, Home, & Tech

Protection Services

Walmart Protection Plans AppleCare

Home & Tech Services

Assembly, Home Improvement, & Installation Services Wireless Services Home Heating & AC Installation Tech Services Energy Plans

Subscriptions

Subscriptions Home Manage Subscriptions Create a Walmart Account

Subscription Products

Household Essentials Grocery Baby Pets Vitamins Beauty Health & Wellness Personal Care

Walmart Business

Walmart Business

Shop Walmart Business About Walmart Business Walmart Business+ Walmart Services Tax Exempt Onboarding resources Business print services

Industry solutions

Point of sales solutions Technology Commercial Janitorial Facilities & maintenance Food services Office Hospitality Health & wellness

Shopping, simplified

It’s easier in the app

Discover the app Meet Sparky Store Mode Walmart Pay

Pickup & Delivery

Fulfillment options Subscriptions Substitutions

Get inspired

Recipe Library Walmart Live #IYWYK Nutrition Hub

Pickup or delivery?

Sort by|

Norbert E Fuchs

Uses item details. Price when purchased online

Lecture Notes in Computer Science Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr '97, Leuven, Belgium, July 10-12, 1997 Pr, Book 1463, (Paperback) $54.99

Lecture Notes in Computer Science Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr '97, Leuven, Belgium, July 10-12, 1997 Pr, Book 1463, (Paperback)

current price $54.99

Lecture Notes in Computer Science Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr '97, Leuven, Belgium, July 10-12, 1997 Pr, Book 1463, (Paperback)

Save with