The Way of Z: Practical Programming with Formal Methods
Product Description
The Way of Z: Practical Programming with Formal Methods
- Used Book in Good Condition
Technical Specifications
You might also like
Kaytee CritterTrail Fun-nel Lazy Look-Out Accessory Kit Small Animal Habitat Tubes
Immersion Blender Handheld Corded Hand Blenders Set 1100W, Trigger Variable Speed 5 in 1 Stick Emulsifier with Chopper, Whisk and Frother for Soup, Baby Food and Smoothies
Chefman XL Electric Griddle with Removable Temperature Control, Immersible Flat Top Grill, Burger, Eggs, Pancake Griddle, Nonstick Extra Large Cooking Surface, Slide Out Drip Tray, 10 x 20 Inch
DASH Fresh Pop Popcorn Maker - Oil-Free, Air Popcorn Popper - With Measuring Cup & Recipe Guide - Perfect for Movie Nights - 16 Cups, Aqua
Emeril Lagasse Extra Large French Door Air Fryer Toaster Oven Combo, 24 Cooking Functions and Digital Controls, 7 Accessories Included, Stainless Steel Finish, 26QT Capacity
Hamilton Beach Dual Breakfast Sandwich Maker with Timer, Ready in 5 Minutes, Removable Dishwasher Safe PFAS-Free Non-Stick Egg Cooker Ring, Silver (25490MNA)
Chefman Panini Press Grill and Gourmet Sandwich Maker Non-Stick Coated Plates, Opens 180 Degrees to Fit Any Type or Size of Food, Stainless Steel Surface and Removable Drip Tray, 4 Slice, Black
nutribullet Personal Blender, Shakes, Smoothies, Food Prep, and Frozen Blending, 24 Ounces, 600 Watt, Gray, NBR-0601WM