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
$6.24
Защитный чехол для литиевого аккумулятора Makita 18 в, мягкий Противоскользящий водонепроницаемый износостойкий чехол для телефона BL1830 BL1850
aliexpress.ru
$6.30
10 шт., металлические пластины с именем, настенное крепление, сделай сам, гравировка, пустые знаки, офисная дверная табличка, алюминиевая рамка для телефона, пустые знаки
aliexpress.ru
$805.73
Фонарики XHP70, аккумуляторные фонарики, тактический фонарик, фонарик для дальнего действия, водонепроницаемый, яркий, 100000, 1350 м
aliexpress.ru
$10.89
Gothique Femme Corset Sexy Clothing Black Laciness Jacquard Steel Boned Bustier 6XL Plus Size Korsett Women Steampunk Gorset
aliexpress.com
$21.68
Women Vintage Long Sleeve Halloween 1950s Housewife Evening Party Prom Dress Evening Dress Loose Women'S Dress Summer Dress
aliexpress.com
$56.00
Photography Baby Props Baby Shoot Studio Woven Accessori Basket Photo Props Baby Newborn Photography Prop Newborn Accessori
aliexpress.com
$149.34
Pair 72W Bumper LED Driving Lights Fog Lamps for 2019-2022 Dodge Ram 1500 2500 3500
aliexpress.com
$31.00
2023 Women Winter New Solid Down Cotton Jackets Female Korean Loose Short Overcoats Ladies Light Thin Cotton-padded Coats S345
aliexpress.com
$267.16
2023 smart remote control 50 Inch bladeless cooling tower fan with Hepa air purifier
aliexpress.com
$26.29
Великолепный набор из 3 выдающихся канистр для окон из нержавеющей стали и стекла, привлекательный аксессуар для домашнего декора, идеально подходит для 5 H и 21OZ
aliexpress.com
$50.43
new jumpman 13 13s men retro basketball shoes unc french brave blue del sol obsidian court purple red flint playoffs black cat hyper royal
dhgate.com
$22.49
Футболка Стразы мужская с надписью, люксовая Модная брендовая тенниска с коротким рукавом, летняя майка
aliexpress.ru
$27.27
2pcs zipper polyster lingerie women tracksuits set bikini short t shirt with solid and g string for club party v, Gray
dhgate.com
$83.74
dress shoes ashiofu handmade ladies mary janes d'orsay high heel pumps wedding fashion evening court, Black
dhgate.com
$19.13
storage drawers drawer organizer underwear bra box closet organizers boxes for scarfs socks
dhgate.com
$38.04
pullover jumper leopard printed women sweaters long sleeve casual basic knitted knitting sueter d30, White;black
dhgate.com
$55.81
children's suit foreign style boys' spring dress new 2020 korean version middle and small children's long sleeved sweater two, Black;white
dhgate.com
