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
$94.52
S0003f Long Slim Toast Dress Dream Sequin Sexy Evening Dress Chic And Elegant Woman Maxi Dresses
aliexpress.com
$39.41
ADSP-BF536BBCZ-4B ADSP-BF536BBCZ ADSP-BF536BB ADSP-BF536B ADSP-BF536 BF536BBCZ ADSP-BF ADSP ADS AD IC MCU Chip CSBGA-208
aliexpress.com
$6.76
Blank Journals Kids Diary Teen Girls Hardcover Notebook Plush Notebook Kids Notebook Fluffy Notebook Panda
aliexpress.com
$27.51
Anime Cartoon Cosplay Costumes Japanese Kwaii Maid Lingerie Dress Goth Clothes Women Punk Gothic Lolita Maid Outfits Black White
aliexpress.com
$151.71
Водонепроницаемые походные ботинки Newton Ridge Plus женские Columbia, цвет Timber/Cinder
cdek.shopping
$28.33
Защита рамы велосипеда от тросов Artek YZ-KOR1-1.2, комплект 3 резиновые шайбы, 1,2мм, 200 штук, Х75269
vamvelosiped.ru
$4.99
WQQZJJ Valentine s Day Decor Valentine s Day USB Acrylic 3D Night Light Lamp Home Landscape Decoration Gifts on Clearance
walmart.com
$23.93
Colisha Unisex Swim Beach Shoe Barefoot Water Shoes Breathable Aqua Socks Surf Anti-Slip Flats Quick Dry Sneakers Dark Blue 10C
walmart.com
$2.01
Чехол для детской коляски ткань Оксфорд моющиеся чистые бамперы Защита бампера новорожденного автомобиля Передние ручки Чехлы
aliexpress.ru
$8.00
Ноутбук со встроенными динамиками влево и вправо для HP ENVY 14-K002TX M6-K 727513-001
aliexpress.ru
$7.98
Рубашка Sugarbaby с надписью «Save by Grace» футболка для христианина Be светильник Light Faith»
aliexpress.ru
$9.79
Он сказал, где у мовин гобелен, настенные гобелены для гостиной, пляжное полотенце, одеяло
aliexpress.ru
$39.99
Краска для Nissan, автомобильная краска для подкрашивания-лимонно-желтый-396-ремонт краски и царапин, точное соответствие
aliexpress.ru
$2.48
Merry Christmas Santa Elk Phone Case Transparent Clear for iPhone 11 12 mini pro XS MAX 7 8 6 6S Plus X 5S SE 2020 XR
aliexpress.com
$13.55
2022 брелок в виде черепа для новогодних подарков, юбилей, свадьбы, Дня Святого Валентина, памятный подарок, бесплатная доставка
aliexpress.ru
$4.60
Deek-робот DDC-231 DC 12V реле задержки времени Реле времени программируемый реле времени Управление переключатель Датчик PNP триггер
aliexpress.ru
$29.33
Металлический полный комплект, обновленные детали, нижняя рулевая крышка, амортизатор для Wltoys 284131 K969 K979 K989 P929 1/28, Радиоуправляемый автомоби...
aliexpress.com
$10.92
Karrram Gothic Irregular Knitted Black Pullover Sweater Women+checkerboard Camis Tank Tops Y2k Korean Style Autumn 2021 Jumpers
aliexpress.com
$12.49
Mohair Knitted Autumn Sweater Women O-Neck Long Sleeve Sweet Pullovers Casual Loose Jumpers Cashmere Soft Fleece M385
aliexpress.com
$4.10
FATAPAESE Solid Silky Satin Skin Care Silk Hair Anti Pillow Case Cover Pillowcase Queen King Full Size high xiaomi youpin, Us-standard(20x26inch)
dhgate.com
$19.40
women's polarized sunglasses european and american trend penetrator anti-ultraviolet sunshade with retro sunglasses, White;black
dhgate.com
$30.00
women's club dresses black white backless night club party dress back open strap bodycon dress wrap bandage dress for women #948, Black;gray
dhgate.com
