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
$36.16
ZEAPON NPF-550QC 3500mAh Li-Ion Type-C Fast Charging For Video Light Slider Monitor/Fill Light Camera Battery
aliexpress.com
$67.35
High Frequency Handhold Manual PF0155 Cutting Torch Head Fit Ergocut A141 Plasma Cutter Torch
aliexpress.com
$5.20
Christmas Candle Lights LED Small Lanterns Wind Lights Electronic Candles Nordic-Style Creative 2024 Santa Night Lamp Ornament
aliexpress.com
$1.47
Cartoon Hhat-sune-Mikues Girl Phone Case For Huawei Y9 6 7 5 Prime Enjoy 7s 7 8 plus 7a 9e 9plus 8E Lite Psmart Shell
aliexpress.com
$12.17
Wrought iron rotating ferris wheel living room bedroom home desktop decoration decoration crafts
aliexpress.com
$5.59
Yubnlvae Women Christmas Vintage Cotton Fashion Coral Velvet Sock Comfortable Socks C
walmart.com
$12.11
New all-match fashion sandals simple high heels women's shaped heel sandals casual shoes shoes for women
aliexpress.com
$2.09
Flashlight Bag Nylon Hunting Camping Keys Tools Storage Cover Case Pouch Bags For Molle System Waterproof
aliexpress.com
$23.39
2in1 Car Accessories Interior Inner Inside Door Handle For Ford Fusion Mercury Milan Lincoln MKZ 2007 2008 2009 2010 2011 2012
aliexpress.com
$12.61
1Pc Pure Black 14" 15" 16" 17" inch PVC PU Spare Tire Tyre Wheel Valve Cover For Cars Wheels Accessories
aliexpress.com
$2.56
Black White Stretch Beaded Satin Gloves For Children Birthday Party Dress Pearl Bow Girls Wedding Gloves Full Finger Mittens
aliexpress.com
$44.72
Bone Straight Bundles And Closure Human Hair 3Bundles With Closure Perviuan Raw Hair With 4X4 Closure 100% Unprocessed Extension
aliexpress.com
$21.80
New fashion trend S925 silver inlaid 5A zircon jewelry set Radiant cut emerald small pigeon egg color separation set
aliexpress.com
$11.76
Ultralight Folding bike Wheel Folded Bicycle Transport Wheels Extension Rod Rear Rack Telescopic Bar Components Rod Parts
aliexpress.com
$22.93
2022 New Dessert Cake Tray Cup Craft Embossing Mold Metal Cutting Dies For DIY Decorative Scrapbooking Album Card Making
aliexpress.com
$14.65
2X Silicone Snorkel Full Dry Mouth Swimming Snorkel Und Erwater Sports Diving Equipment Black
aliexpress.com
$20.51
FHANCHU 2022 New Woman High Heels,Spring Patent Leather Shoes,Fashion Women Pumps,Slip On,Pointed Toe,Black,Green,Dropship
aliexpress.com
$0.92
3 in 1 Hydrogel Film On the For Oppo A54s Screen Protector Films For Oppo A54s 6.52" CPH2273 Protective Film Not Glass
aliexpress.com
$6.15
Stone Mineral for Parrot Pet Supplies Bird Cage Toy Grinding Stone Flower Shape Hang Style Parakeet Toy
aliexpress.com
$5.59
Nordic Iron Cosmetic Storage Rack Bird Cage Makeup Organizer 2Tier Wire Storage Holder Shelf Bathroom Bedroom Tabletop Organizer
aliexpress.com
$29.39
Inner Heightening Thin Boots Women's Short Boots Flat Elastic Socks Boots Early Autumn New Sock Boots Show Thin Sock Boots
aliexpress.com
$168.72
manifold & parts car crankcase vent valve oil separator kit set for- z4 323i 525i 530xi 2004-2008 11617531432
dhgate.com
$22.08
wqc2 плющ продажа комфортабельные хорошие шапки yiwu фабрика целая продажа высокая квалификация kangol beret hats в горячей цене, Blue;gray
dhgate.com
$26.23
New 44T2R 546FF 0HF25D Laptop Battery For Dell Alienware 15 R3 17 R4 Series 15.2V 68Wh
aliexpress.com
$4.13
1Pieces Autumn And Winter Pile Hat Fashion Wool Knitted Hat Loose Large Head Circumference Show Face Mountaineering Hat
aliexpress.com
$19.15
QUAD LOCK Bicycle Detachable Mudguard Bike Fender PP for Bicycle Front Rear Wheel
aliexpress.com
$22.24
Cute Pet Shop Random 5pc Figure Toys with 7pcs Accessories for Kids,Collie Cat Cocker Spaniel Dog Husky Deer Collection Toy Pack
aliexpress.com
$4.95
4pcs Toothpaste Caps Silicone Toothpaste Covers Self-Closing Squeezer Tools For Bathroom Home Supplies Oral Care Organization
aliexpress.com
$158.62
Miffy Cartoon Embroidered Wide-Leg Jeans for Women Retro Washed Loose Jeans Street Style Loose Pants Y2K Miffy Letter Embroidery
aliexpress.com
$43.26
For M3M Multi Spectral Edition Signal Line Accessories Multispectral Gimbal Cable Coaxial Transmission Wire Repair Part
aliexpress.com
