Walmart US Ecommerce Website

GENERAL MERCHANDISE

PHARMACY

GROCERIES

VUDU

SPARK

PHOTO

ADVERTISING

SAVINGS CATCHER

GIFTCARDS

INHOME

AFFILIATE

ONEAPP

LOTUS

HELP

SMART_REORDER

GROCERY

CONV_COMMERCE

Buy Box Ad Container Module for Desktop

Custom HTML Module - About Klarna

Custom HTML Module - About SalesFinancing - Second update

You'll choose a plan at checkout.

#515357

I want delivery savings with Delivery Pass

#0071dc

NEW Fulfillment Tue Apr 15 2025 2:17 PM EDT

MTZ Team | Marquee 1 Ad | Item Page

MTZ Team | Marquee 2  Ad | Item Page

MTZ Team | Skyline Ad | Item Page

Other products of interest

MTZ Team | Sponsored Product Carousel - Item Page

More items to explore

MTZ Team | Sponsored Product Carousel - Item Page Broad 

NEW AddonServicesRedesign Fri Jul 18 2025 1:30 PM EDT

NEW AddToCart Mon Jul 14 2025 3:50 PM EDT

NEW AddToCart Tue Apr 15 2025 2:19 PM EDT

NEW BrandBoxDisplayAd Mon Jul 14 2025 9:14 PM EDT

NEW BrandLink Wed Apr 23 2025 12:07 AM EDT

NEW Breadcrumb Mon Apr 07 2025 8:23 PM EDT

Walmart Rewards Mastercard

NEW FinancingOptions Tue Dec 10 2024 3:32 PM EST

I want shipping & delivery savings with

NEW Fulfillment Mon Jul 14 2025 4:00 PM EDT

NEW InternationalShipping Mon May 18 2026 1:02 PM EDT

New Item Page - Nutrition Value Placeholder Module, Wednesday, February 08, 2023, 5:11:53:90 pm

New Item Page - Product Description Placeholder Module, Wednesday, February 08, 2023, 5:14:04:38 pm

New Item Page - Product Ingredients Placeholder Module, Friday, February 10, 2023, 10:34:23:79 am

New Item Page - Product Specifications Placeholder Module, Wednesday, February 08, 2023, 5:15:29:61 pm

New Item Page - Reviews Placeholder Module, Wednesday, March 22, 2023, 10:04:29:34 am

New Item Related Shelves Module, Thursday, June 15, 2023, 6:08:51:10 am

 Price Match Policy

Prices, terms, and availability may vary online, in stores, and in–app. If the advertised price is not shown here, inventory at the advertised price may now be sold out. Please see the other offers, if available, while quantities last. Some items may be available from Marketplace Sellers, who set their own prices, and are not eligible for price match. Items sold in store by Walmart may be eligible for a price match to online items shipped and sold by Walmart. For variable weight items, price shown is an estimated price only – you will be charged for the actual weight of the item. See our

NEW LegalPriceDisclaimer Mon Jul 14 2025 4:11 PM EDT

NEW LegalPriceDisclaimer Wed Apr 30 2025 12:13 AM EDT

NEW ListsAndRegistries Tue Apr 15 2025 4:50 PM EDT

NEW PaymentPlans Mon Jul 14 2025 4:15 PM EDT

NEW PaymentPlans Tue Apr 15 2025 1:31 PM EDT

NEW PriceInformation Tue Apr 15 2025 1:30 PM EDT

NEW ProductDescriptionPlaceholderATF Tue Jul 08 2025 11:41 PM EDT

NEW ProductFlags Thu Apr 10 2025 11:42 PM EDT

NEW ProductHighlightsPlaceholder Wed Jul 02 2025 12:43 AM EDT

NEW ProductImages Tue Apr 15 2025 2:13 PM EDT

NEW ProductName Tue Apr 15 2025 12:53 PM EDT

NEW ProductReturnPolicyDetails Tue Dec 10 2024 3:17 PM EST

NEW ProductReturnPolicy Mon Jul 14 2025 5:04 PM EDT

Return Policy

NEW ProductReturnPolicy Tue Apr 15 2025 2:28 PM EDT

NEW ProductStickyBuyBox Wed Jul 02 2025 12:55 AM EDT

NEW PromoDiscount Tue Apr 15 2025 6:53 PM EDT

New SellersSecondaryBuyBox Module, Tuesday, September 05, 2023, 4:02:21:76 pm

NEW ShopWithConfidence Thu Jan 15 2026 2:20 PM EST

NEW SocialProofMessage Tue Apr 15 2025 7:17 PM EDT

NEW SoldAndShippedBy Mon Jul 14 2025 5:04 PM EDT

NEW SoldAndShippedBy Tue Apr 15 2025 2:23 PM EDT

New!

More savings, less stress.

HSK_Subscribetosave_E_v2

NEW SubscriptionOptionsModule Tue Apr 15 2025 6:44 PM EDT

NEW SubscriptionPriceMessage Wed Apr 23 2025 6:48 PM EDT

NEW Variants Wed Apr 23 2025 11:01 PM EDT

[Sticky] BuyBoxAd Mon Aug 11 2025 3:59 AM EDT

[Sticky] PriceInformation Mon Jul 14 2025 4:03 PM EDT

Syndigo

#000000

Item Carousel - Rich Relevance 1

RR carousel

Item Carousel - Rich Relevance 2

RR carousel 2

Item Carousel - Rich Relevance 3

The Way of Z: Practical Programming with Formal Methods

Book Format

Publication Date

Number of Pages

Publisher

This book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

Author

ISBN-13

Universal Product Code (UPC check)

fulfillment

title_shipToHome_date_free_delivery

<!DOCTYPE html>
<html>
   <head>
      <meta name="viewport" content="width=device-width, initial-scale=1">
      <link
         rel="stylesheet"
         href="https://unpkg.com/tachyons@4.12.0/css/tachyons.min.css"
         />
   </head>
   <body>
      <div class="flex flex-column justify-center w-100 ph3 normal lh-copy pt1">
            <div class="tc">
               <img src="https://i5.walmartimages.com/dfw/8822aef6-7abe/k2-_f4ee767f-a90a-4f70-be39-71e5d7b238a0.v1.jpg">
               <h3>4 equal payments</h3>
               <h4 class="gray">Buy what you love and split the cost. It's that easy. </h4>
            </div>
            <ul>
            <b>
               <li>Add item(s) to your cart.</li>
               <li>
                  Add items to checkout and choose 
                  <image height="14" width="auto" src="https://i5.walmartimages.com/dfw/8822aef6-7abe/k2-_f4ee767f-a90a-4f70-be39-71e5d7b238a0.v1.jpg"></image>
               </li>
               <li>Enter your debit or credit card information. </li>
               <li>Your first payment is taken when the order is processed, and the remaining 3 are automatically taken every two weeks.</li>
            </b>
            </ul>
            <p class="gray">Please note that a higher initial payment may be required for some purchases. Pay later in 4 <a href="https://cdn.klarna.com/1.0/shared/content/legal/terms/0/en_ca/paylaterin4" target="_blank">terms</a> available here. For Quebec residents, these Pay Later 4 <a href="https://cdn.klarna.com/1.0/shared/content/legal/terms/0/en_ca/paylaterin4_quebec" target="_blank">terms</a> are applicable. </p>
      </div>
   </body>
</html>