Using Z: Specification Proof Refinement, Paperback Book, By: Jim Davies and J. C. P. Woodcock
Описание
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.
График изменения цены & курс обмена валют
Пользователи также просматривали
$13.41
Duki From The End of The World Hoodies Men Women Sweatshirt Harajuku Aesthetic Unisex Streetwear Fleece Pullover Vintage Clothes
aliexpress.com
$9.57
180ml Foldable Large Capacity Cup Mini Telescopic Cup Silicone Portable Tea Cup Outdoor Travel with Lid Coffee Telescopic Cup
aliexpress.ru
$1.73
Marble Pattern Glitter Sequins TPU + Acrylic Phone Cover Protector for iPhone 13 6.1 inch - Green, Apple iPhone 12 5.4 inch
tvc-mall.com
$8.37
Блесна для рыбалки вертушка Mepps AGLIA FLUO, Micropigments Trout, , Brown, 1 штука, Коричневый
sportmaster.ru
$12.00
2 Pcs Wall Shelf Decor Mounted Shelves for Storage Pvc Nordic Style Sundries Rack
aliexpress.ru
$9.01
Mini Gas Welding Torch Jewelry Making Tools The Little Torch Portable Acetylene Soldering Torch Metal & Rubber
aliexpress.com
$68.40
Best Quality 71.009.434S Tube Cpl For Heidelberg SM102 CD102 Rotary Union Inking Unit Temperature Control
aliexpress.com
$426.64
Эргономичный офисный стул, поворотный, компьютерная поддержка, удобный дизайн, пол, современная домашняя спинка, подлокотник, роскошная мебель Muebles
aliexpress.ru
$96.46
Автомобильная Мультимедийная система Carplay, стерео-экран, Android 14, для Honda Civic 10 FC FK 2015-2020, типоразмер 2DIN, Wi-Fi
aliexpress.ru
$3.42
Многофункциональный скребок для стеклянной керамической варочной панели, средство для удаления, стальные лезвия, инструмент для очистки с 10 лезвиями
aliexpress.ru
$10.98
Detachable nail patch, stylish press on nail, set with broken diamonds, gradient colors, and butterfly stickers
aliexpress.ru
$2.77
1~10PCS New Universal 2.5" to 3.5" SSD HDD Environmental Plastics Adapter Mounting Bracket Hard Drive Holder for Desktop PC
aliexpress.com
$18.60
PWM DC Governor DC Motor Speed Controller 9V-60V 40A Stepless Speed Regulation Temperature Dimmer Control Switch Speed Regulator
aliexpress.ru
$34.89
900 мл варенный чугунный чайник, чугунный чайник, свиной чайник, чай кунг-фу, здоровый Железный чайник
aliexpress.ru
$12.99
Модные Мужские квадратные многофокальные очки для чтения + Магнитный зажим поляризованные линзы ночного видения двойного использования
aliexpress.ru
$659.98
10,25 дюймовый Android 12 для системы Mercedes W212 2009-2016 автомобильный экран WIFI 4G SIM WirelessCarplay GPS DSP Navi Стерео Мультимедиа
aliexpress.ru
$78.96
Rectangle Fireplace Screen with Geometric Patterns, 48" x 1" x 30", Black Electric fireplace for living room
aliexpress.com
$55.76
Аксессуары для мотоциклов CFMOTO 450CLC CLC 450 450 CL-C Блокировка ветра переднее ветровое стекло
aliexpress.ru
$18.87
Плотные полосатые корейские модные флисовые мужские повседневные брюки классические деловые прямые узкие Стрейчевые теплые мужские брюки
aliexpress.ru
$38.55
Автомобильный радиоприемник 10,33 дюйма для FORD Focus 2004-2011 2Din Android Восьмиядерный автомобильный стерео DVD GPS навигатор плеер QLED экран Carplay
aliexpress.ru
$48.29
CARANFIER Mens Leather Jackets Motorcycle Stand Collar Zipper Pockets Male US Size PU Coats Biker Faux Leather Fashion Outerwear
aliexpress.com
$4.49
Тестер тока, дисплей, мобильный мини-тестер мощности, детектор напряжения, белый измеритель, монитор
aliexpress.com
$22.38
Car Rearview Mirror Cover Replace Side Mirror Cap For Honda Civic 10Th 2016-2020
aliexpress.com
$8.99
2023 эмоциональная поддержка, демон, плюшевая игрушка 20 см для детей, детские игрушки, подарок
aliexpress.ru
$3.48
Car Parking Disc Timer Clock Arrival Time Display Blue Plastic Parking Portable Parking Timer 15.2x12.4x0.8cm Car Electronics
aliexpress.com
$13.18
Nail Finger Practice Fingers Fake Training Nails Acrylic Manicure Mannequin Model Models Hand Hands Flexible Silicone Trainer
aliexpress.com
$22.67
Летний топ с винтажным принтом, модный спортивный топ с открытой спиной, Простой Тонкий облегающий Топ без рукавов для девушек
aliexpress.ru
$20.57
Wooden Board Photography Backdrops Stand Custom Retro Faded Blue White Planks Wall Floor Home Party Studio Photocall Backgrounds
aliexpress.com
$5.99
WENLCCK Candy Color Vintage Wide Frame Women Sunglass Small Rectangle Sunglasses Summer Female UV400 Lens Trendy Eyewear
aliexpress.com
$3.07
Katsuki Bakugo Kitchen Cuisine Apron Antifouling My Hero Academia Boku No Hero Academia Bib Tablier for Men Women Florist
aliexpress.com
$17.98
USB3.0 To HDMI-Compatible+VGA Adapter High-definition Projector 2K HDTV HD Display 1080P Defination Converter USB 3.0 Connection
aliexpress.com
$62.40
Sunnecko 7" Santoku Knife Damascus Japanese VG10 Steel Core Blade Kitchen Professional Knives Pakka Wood Handle For Meat
aliexpress.com
$19.44
Summer Houndstooth Print Dress Women Office Lady Fashion Sexy Mesh Stitching Houndstooth Print Irregular Dress Women
aliexpress.com
$84.82
Chinese new year decorations 2022 tiger Pillow cushion office nap pillow sofa cushion seat car cushion
aliexpress.com
$189.90
LIGE Fashion smart watch women men Sport waterproof clock Heart rate sleep monitor For iPhone Call reminder Bluetooth smartwatch
aliexpress.com
