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
$211.41
New Original battery for Ma vic 2 Pro Battery Ma vic 2pro Ma vic 2 Zoom Dron Accessories Battery 3850mAh 15.4V
aliexpress.ru
$97.39
Теплица с туннелем, зеленый дом, 11,5 x 10 x 6,5 футов, с сетчатой дверью на молнии, 7 окон, подвижные боковые стенки и полиэтиленовое покрытие.
aliexpress.ru
$18.05
Задняя передняя ось вилка ползунок для Honda CRF1100L Africa Twin / Plus / Adventure Sport Plus 20-23 протектор шпинделя колеса
aliexpress.com
$3.96
RASTP-Aluminum Shift Knob Extender Extension Lever Gear Manual Shifter 120mm For Honda RS-SFN018
aliexpress.com
$143.74
G512 Carbon Mechanische RGB-Gaming-Tastatur - Carbon USA international GX Brown Tactile
logitechg.com
$96.00
Корпорация BOURNS, Мексика герметичный потенциометр 82R2AR16A07A13, двойной переключатель 250 Ом 5K 0043X
aliexpress.ru
$45.49
Car-Styling New Car Interior Trim Dashboard Clear Paint Protective Film Stickers for BMW X3 2018
aliexpress.com
$1.58
Fashion Plant hollow Lotus pendant charm Necklace Tiny Buddha Flower Lotos petal pendant Necklace For Lady Women gift jewelry
aliexpress.com
$4.49
2018 Cheap brand design boy gril Fashion Optical Glasses Eyeglass Frame Men Women Vintage Spectacles Clear lens Metal Eyeglasses
aliexpress.com
$1.59
Blue Nordic Marble Shell Cabinet Handle Knobs Cupboard Drawer And Wardrobe Pulls Kitchen Furniture Hardware 96Mm 128Mm
aliexpress.com
$1.55
Cute Owl Hearts Lover Christmas Phone Case For Xiaomi Mi 12 10 Lite 12X 12T 13 5G 11T 10T Pro 11i 11 Ultra 9 8 6X 5X Capa Coque
aliexpress.com
$1.81
PROMO! Giziplus Cheese Dumpling 500Gr - Dumpling Keju PREMIUN Produck ,expired 2026
shopee.co.id
$0.84
clasps hooks jewelry findings components letters metal heart shape snap button 18mm snaps buttons diy earrings necklace bracelet jewelery
dhgate.com
$1.20
Anime Demon Slayer Kimetsu No Yaiba Sock Short Socks Cosplay Prop Cartoons Anime Kamado Tanjirou Kamado Nezuko Cotton Socks
aliexpress.com
$3.13
500 Pcs/Roll Round Thank You Hand Made Kraft Paper Sticker DIY Envelopes Seal Label Baking Gift Bag Decoration
aliexpress.com
$62.01
korean version ins net red lower half frame glasses black tan sunglasses women's fashion street p big square face, White;black
dhgate.com
$10.60
Crystal Epoxy Resin Tray Mold Classification Storage Box Tray Silicone Mold Desktop Jewelry Tray Settable Resin Silicone Mold
aliexpress.com
$17.99
TWS Bluetooth Wireless Earphone 5.0 Touch Control Earbud Waterproof 9D Stereo Music Bluetooth earphone Portable For iOS Android
aliexpress.com
$3.50
Magnetic Ring Stand Holder Anti-Fall Phone Case For iPhone 12 Pro Max 11 Pro Max 12Mini 12 11 Matte Shockproof Bumper Back Cover
aliexpress.com
$8.82
2021 PU Leather Women Wallet Hasp Small Slim Coin Pocket Purse Women Wallets Cards Holders Luxury Brand Wallets Designer Purse
aliexpress.com
$7.68
Daniel Craig Cotton Canvas custom pillow custom covers Throw Pillow Pillow Covers Sofa Pillow
aliexpress.com
$2.79
Classic Silver Plated Rhinestone Wheat Ear Hoop Earrings Female Light Luxury Fashion Exquisite Women Wedding Jewelry Best Gift
aliexpress.com
$21.65
FAKUNTN V-neck Knitted 2021 New Fashion Autumn Winter Sweater Slim Long Sleeve Stripes Contrast Loose Plus Size 2xl Chic Tops
aliexpress.com
$8.37
New Arrival 1 Set Ignition Switch Cylinder Lock With 2 Keys For Honda & Acura 2002 2003 2004 2005 2006 2007 2008 2009 2010-2014
aliexpress.com
$19.10
embroidery sequins lace fabric Wedding Dress Tulle Skirt Material fabrics for patchwork kumas telas por metros
aliexpress.com
$24.99
Faux Mink Premade Russian Volume Eyelash Extension Supplies 8dHeat Bonded Pre Made Volume fans JTFIL eyelashes
aliexpress.com
$0.12
Вдоль A58 Автомобильное зарядное устройство для зарядки в автомобиле прикуривателя одна с двумя USB черный серебристый
jd.ru
$16.69
4-дюймовый круглый деревянный шлифовальный круг абразивный диск угловая шлифмашина карбидное покрытие 22 мм посадочное отверстие формование шлифовка резьба вращающийся инструмент
joom.com
$24.66
Toner Cartridge Replace Reset For Samsung MLT D 203-S MLT D 203-L MLT D 203-E MLT D 203-U MLT D 203 S MLT D 203 L MLT D 203 E
aliexpress.com
$28.84
Футболка свободного покроя для мужчин, спортивная, для бодибилдинга, фитнеса, с коротким рукавом, летняя, сетчатая, быстросохнущая, дышащая S
joom.com
$12.68
Шепчущий Дикий Лес 2026 Год Настенный Календарь Природа Животные Тематический Академический
joom.com
$15.90
Новые зимние теплые мужские перчатки для езды на мотоцикле, ветрозащитные перчатки для занятий спортом на открытом воздухе, бархатные лыжные перчатки average size
joom.com
$73.26
Постельное белье с пальмовыми листьями, черно-белое, комплект постельного белья для детей, подростков, взрослых, женщин, пододеяльники с листьями, комплект двустороннего одеяла Single 150x200cm
joom.com
$3.18
SMR106 шарик из смешанной керамики из нержавеющей стали 6*10*3 мм подшипник рыболовных снастей
aliexpress.ru
$21.53
Стеклянная чашка с двойными стенками, креативная чашка для кофе, чая, кружки для сока, чашка для молока, кафе, 1 шт., 250-420 мл, пивные стаканы для коктейлей, аксессуары для питья 420ml
joom.com
