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
$9.50
24-контактный разъем ATX на 8 x Molex 4-контактный разъем и 2 * 6-контактный разъем PCI-E для жесткого диска --
aliexpress.ru
$168.03
Кожаная дорожная спортивная сумка для мужчин, коричневая, для выходных, из натуральной, для спортзала, новая, винтажная 30 x 11 x 11 in коричневый
joom.com
$13.94
2/4 шт. Одеяло для червей из джутового волокна, одеяло для компостирования червей 23,62 x 23,62 Одеяла для компостирования червей с вытяжным кольцом для сохранения червей в темноте и 2pcs
joom.com
$2.47
Французский язык. Рабочие программы. Предметная линия учебников "Твой друг французский язык". 5-9 классы
litres.ru
$57.89
Ботинки для косплея Юичиро Хякуя из аниме «Последний серафим» (Owari no Seraph); обувь по индивидуальному заказу
aliexpress.ru
$29.79
Аксессуары для вентилятора, пластиковая сменная Крышка для вентилятора в виде листьев, 18 дюймов, 1 шт.
aliexpress.ru
$6.64
For Yamaha TMAX 500 XP500 2008-2011 T-MAX 530 XP530 2012-2022 TMAX 560 TMAX560 2019-2022 Motorcycle Parking Hand Brake Lever
aliexpress.ru
$8.90
Головоломка Spirit In The Sky-KEiiNO-Норвегия-Eurovision 2019 EuroClub2023, рождественские подарки, персонализированные головоломки для детей
aliexpress.ru
$912.67
Улучшенная плата кондиционирования воздуха для Land Rover Discovery 5 2017-2020, ЖК-цифровой сенсорный экран, регулятор температуры
aliexpress.ru
$454.52
Chinese Manufacturer Factory Price Fall Arrester Retractable Self Retracting Lifeline Fall Protection Equipment
aliexpress.ru
$22.65
Спиннинговая катушка 6-дюймовая, комплект из стекловолокна для спиннинга, окуня, форели и озерной рыбалки, 10 анг. Фунт.
aliexpress.ru
$3.64
Женская однотонная сумка через плечо в стиле Харадзюку, сумка через плечо для девочек, повседневная студенческая сумка, холщовая
aliexpress.ru
$20.93
Various sizes Waterproof Cover Outdoor Garden Furniture Covers Rain Snow Chair covers for Sofa Table Chair Dust Proof Cover
aliexpress.ru
$4.74
Женские кардиганы, легкий вязаный кардиган с длинными рукавами, укороченный кардиган с круглым вырезом и открытой передней
aliexpress.ru
$16.38
Super Spreader Cast Net 4.5'x 3/8 Weight set Workout equipment Barbell pad Dumbbell set Weighted Gym barbell pad Cornhole Weigh
aliexpress.ru
$4.09
Алюминиевые чашки для свечей, 20 шт., стандартные формы для восковых свечей, инструменты для изготовления, обетные колышки, подносы, маленьки...
aliexpress.ru
$180.00
(2 шт.) набор камер для впрыска edm 448,970 + 448,712 Верхняя и нижняя для ROBOFIL 1000,1020 wirecut machine 204487120,204489700,204.487.1
aliexpress.ru
$12.41
Fashion Summer Dresses for Women 2021 Floral Printed Split Short Sleeve V-neck Long Maxi Casual Dress Robe Femme Women Clothing
aliexpress.com
$175.00
German Coryllos-Bethune Rib Shears Left Right Thoracic thorax cardiovascular surgery surgical orthopedic instruments scissors
aliexpress.com
$1,250.00
80KHZ High Frequency Immersion Submersible Ultrasonic Transducers For Industrial Cleaning
aliexpress.com
$96.65
Touch Screen Separator Refurbished Repair UYUE 948Q+ 11 Inches Mobile Phone Splitter Flat LCD Screen Splitter
aliexpress.com
$32.38
UNI-T UT39E Electrical 19999 Count Data Hold General DMM Digital Multimeters W/ Frequency Test Multimetro LCR Meter
aliexpress.com
$17.28
2018 Quality belly dance costume set bellydance clothing indian set gauze set pants color block set 3pcs Top&S&Belt 5 colors
aliexpress.com
$1.71
2019 Brand New Women Mum Breastfeeding Cover Feeding baby Nursing Apron Shawl Clothes Cotton Blanket Cloth Fashion Mommy Apron
aliexpress.com
$653.41
Carbon Fiber Spoiler For 488 Rear Spoiler Carbon Body Kit For 488 Auto Modification Car Styling
aliexpress.com
$11.79
Disney children Primary school student girl boy Mickey bag for school baby kindergarten High capacity handbag cartoon backpack
aliexpress.com
$5.92
Women Crane Print Long Sleeve Blouse Spring Fashion Female Harajuku V Neck Loose Shirts Ladies Causal Long Blouse 2018
aliexpress.com
$0.84
3.5cm Car Styling Roof Antenna Enhanced Signal Carbon Fiber Screw Metal Short Stubby Mast Antenna For Benz Mazda Honda
aliexpress.com
$0.42
For Apple Audio Charging Listening Calling Connector For iphone X 8 7 Plus XS XR Light ing Headphone Adapter AUX Splitter
aliexpress.com
$6.98
Aquarium decorative air pump sand head decoration Dinosaur broken shell decorative fish tank air pump with bubble stone aerator
aliexpress.com
