Using Z: Specification Proof Refinement, Paperback Book, By: Jim Davies and J. C. P. Woodcock
Description
This book contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published.
Price history chart & currency exchange rate
Customers also viewed
$39.14
Rhinestone Skeleton Hoodies Women Gothic Black Zip Up Oversized Sweatshirts Female Retro Harajuku Hooded Jacket Streetwear
aliexpress.com
$397.00
High-end hotel food vegetable warmer, color insulation pot, stainless steel heating breakfast stove, luxury commercial buffet
aliexpress.com
$121.98
Soramoore High Quality 4PCS Luxury Jewelry Set For Women Bridal Wedding Party Zircon Crystal Indian Dubai Lady Jewelry Sets
aliexpress.com
$120.84
Hikvision DS-7608NI-Q2 4K 1U 8ch IP NVR Non PoE 2 SATA 8MP Network Video Recorder
aliexpress.com
$25.65
A15F-Airbrush Kit - Rechargeable Cordless Non-Clogging High-Pressure Air Brush Gun With 0.3Mm Nozzle
aliexpress.com
$34.92
Mens Safety Boots Steel Toe Lightweight Protective Boots Indestructible Breathable Shoes Anti-smash Anti-Puncture Work Boots
aliexpress.com
$4.75
M1.4 M1.6 M2 304 A2-70 Stainless Steel DIN912 Hexagon Hex Socket Cap Allen Head Bolt Screw Lengthened Lon
aliexpress.com
$17.42
Orange Tabby Kitty Fur Texture Leggings Clothing fitness sports tennis for joggers for sports shirts gym Womens Leggings
aliexpress.com
$1,011.52
Single hammock Rocking chair Outdoor balcony Cradle chair Internet celebrity small courtyard swing chair
aliexpress.com
$27.00
Japanese V-belt industrial belt SPA2160LW SPA2180LW SPA2182LW SPA2200LW SPA2207LW SPA2232LW SPA2240LW
aliexpress.com
$175.86
New Power Steering Rack For HYUNDAI IX35 Tucson KIA Sportage Left Hand Drive 57700-2S100 577002S100 57700-25100 577002S000
aliexpress.com
$1,938.56
For Toyota Supra A90 2019-2021 Prepreg Dry Carbon Fiber Car Front Bumper Engine Hoods Cover Car Hood Bonnet Trim Racing Body Kit
aliexpress.com
$1,105.72
High Quality Hot Selling X7g07 Front Bumper with Grille Bumper for BMW Front and Rear Bumpers
aliexpress.com
$1.79
New Arrival Treble Clef Printed Women Neck Scarf Sheet Chiffon Silk Scarf Muffler Shawl Music Note Printed Scarf
aliexpress.com
$1.80
Black Flannel Witch Hat Curved Horns Rose Halloween Costume Party Accessories Masquerade Wizard Hat cosplay Headwear
aliexpress.com
$14.99
138-32 Fingerprint Lock No Punching Electronic Door Lock Low Power Consumption With Tricolor Lamp For Office Black Fingerprint
aliexpress.com
$23.80
M390 Steel Titanium Plated Handle Portable Camping Folding Knife Craft for Outdoor Survival
aliexpress.com
$7.77
Round Casual Summer Outfits Casual Attire Cowboy Comfortable Wear Relaxed T-Shirt Cartoon Graphic Print Breathable Sleeve
aliexpress.com
$2.31
Top Business Card Holder Luxury PU Leather Card Case Magnetic Buckle Manager Name Card Pocket Gift
aliexpress.com
$3.16
BBNV-USB Submersible Pump 1M Cable DC Low Voltage Ultra-Quiet Mini Small Water Pump 5V Submersible Pump For Aquarium
aliexpress.com
$11.86
In Stock For Labubu Accessories Clothes Dolls Series Wacky Mart New Fairy Tale Prince 17cm Doll Give A Friend A Birthday Gift
aliexpress.com
$14.75
Excavator electric parts PC200-7 PC220-7 Starter Relay 600-815-8941 600-815-2170 600-815-8940 24V
aliexpress.com
$15.46
Front Left Car Door Window Lifter Control Switch for Geely Atlas 2016 2018 Figzero Brand New Interior Replacement Parts
aliexpress.com
$11.96
【i Don't Car】 Cat Short-sleeved, Fun English, American, Pure Cotton T-shirt for Men and Women, Artistic and Niche
aliexpress.com
$15.98
Фонарь для подсветки CTNV93CM 3BL-T4734102-12 11 TI4908DLEDBH светодиодный 49E3505A LC490DUJ SG LE50B7000 LE50B3500W
aliexpress.ru
$23.96
Повседневные куртки в полоску в стиле ретро, желтые, белые, черные ветровка с капюшоном, мужские пальто с принтом, осенняя модная классическая куртка, большой размер 5XL 6XL
aliexpress.ru
$15.33
Женская одежда для сна, нижнее белье с лямкой на шее, облегающий костюм из лакированной кожи с открытой спиной, женское трико
aliexpress.ru
$30.99
mens new fashion shirts brand plus size flower printed slim shirts casual contrast color male shirt2714596, White;black
dhgate.com
$20.25
clothing sets wholesale girls 2 pieces sets bees ruffle dressy shorts set kids dresses baby romper r230814, White
dhgate.com
$1.70
fashion skull bones embroidered patch iron on jacket shirts hats patch supplier punk emblem purple 9cm badge8459456, Black
dhgate.com
$25.16
Large Foldable Storage Bag Box Clear Window Clothes Organizer-Bin Home Accessories Organizer
aliexpress.com
$17.07
Autumn Winter Plush Thickened Long Sleeve Hoodies Woman Splicing Loose Top Women's Solid Sweatshirt Hoodie Female Sweatshirts
aliexpress.com
$26.70
ABS Chrome Front Rear Trunk Headlight Tail Light Lamp Cover Trim Styling Garnish Bezel Molding For Chevrolet Cruze 200--2014
aliexpress.com
$153.65
limeike высокого качества из натуральной кожи обувь мужчин flats людей способа вскользь ботинки человек мягкий комфортное узелок черный, Black
dhgate.com
$0.60
50 шт. высокое качество золото серебро вертикальные полосы конфеты коробка с лентой шоколад подарочные коробки свадьба пользу украшения
dhgate.com
$13.10
мужские сексуальные плед печати нижнее белье мягкие трусики спортивные повседневные трусы мужской удобный боксер дышащие трусики cuecas boxe, Black;white
dhgate.com
$64.68
cotton vintage parkas winter coats women stand long sleeve chinese style button cotton jackets 2019 new parkas coats, Black
dhgate.com
$17.68
new women summer shoes ladies sandals pu buckle retro sewing hollow out woman flat shoes platform comfort female casual footwear, Black
dhgate.com
$28.91
women sandals women shoes fashion platform sandals summer shoes wedges women's designers, Black
dhgate.com
$11.76
Pet Sunglasses Halloween funny colorful pumpkin glasses for small and medium-sized dogs and cats
aliexpress.com
$18.96
стекло нефтяных вышек с ОД 25мм кварцевые Banger ногтей Carb кепка толстые стеклянные бонги 14,5 мм мужской совместное барботер DAB Рог
dhgate.com
$25.09
Pet Dog Car Carrier Bag Seat Cover Waterproof Basket Safety Travelling Mesh Hanging Bags Dog Seat Bag Basket Pet Supplies
aliexpress.com
$27.87
jaycosin slippers shoes woman home indoor non-slip cotton slippers winter indoor cotton platform fuzzy home, Black
dhgate.com
