Using Z: Specification Proof Refinement, Paperback Book, By: Jim Davies and J. C. P. Woodcock
jim davies and j c p woodcock
артикул: 489904
ЗГІДНО З НАШИМИ ДАНИМИ, ЦЕЙ ПРОДУКТ ЗАРАЗ НЕ ДОСТУПНИЙ
$42.20
Доставка з: Об'єднані Арабські Емірати
Опис
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.
Графік зміни ціни & курс обміну валют
Користувачі також переглядали
$6.73
Mesh Headdress Fasinators For The Hair Wedding Fascinator Clip Banquet Decor Women Party Headpiece
aliexpress.com
$7.84
LCG Metal Side Pedal Rock Slider Side Plate for 1/10 RC Crawler Car Axial SCX10 Lower Center Of Gravity Upgrades Parts
aliexpress.com
$2.59
2Pcs 12CM 17CM 7.5W Ultra Thin LED COB Strip 12V DRL Lamp Day Time Running Driving Lamp for Auto Car Side Fog Light Waterproof
aliexpress.com
$3.05
Metal Strap for Xiaomi Mi Band 6 4 3 5 Wrist Band Bracelet Screwless Stainless Steel Replacement Miband for Mi Band 5 Wristband
aliexpress.com
$3.60
Summer Mens Shorts Shiny Contrasting Colors Visual Vortex Bill Board Baggy Shorts Beachwear Boxing Gym Running Sport Streetwear
aliexpress.com
$5.98
Pull Down Handles Fitness Strap Handles Wrapped With 3 Attachment Points Ergonomic Cable Attachments For Gym Cable Machine
aliexpress.com
$4.86
Модная спортивная дышащая удобная Пляжная бейсболка с принтом для мужчин и женщин, простая Кепка-тракер, бейсболки для мужчин, Регулируемая сетка
aliexpress.ru
$28.39
Для 701 Enduro 701 Enduro Supermoto 2016 2017 2018 2019 2020 2021 защитная накладка на рукоятку мотоцикла тормоз сцепление рычаг протектор
aliexpress.ru
$20.96
Шотландская корова Highlander, плюшевые игрушки для детей, популярные игрушки 2023, Мягкое Животное Highland, крупный рогатое скот, детские игрушки для...
aliexpress.ru
$17.00
Клапан управления дизельным топливом AP01 для Dodge Cummins Ram 2500 3500 2WD 07-15 4936097
aliexpress.ru
$178.91
Свадебный знак на заказ, акриловый гибкий светодиодный неоновый знак til death do us вечерние Для свадебной распродажи
aliexpress.ru
$159.99
Digital Monocular Night Vision Goggles Digital Zoom 1080P Video Photo Recorder for Outdoor Bird Watching Wildlife Observation
aliexpress.ru
$1.95
Европейский Carhuretor PHVA ES TOMOS A55, Плунжер карбюратора, сборная кнопка, стартовый клапан, Плунжер, комплект
aliexpress.ru
$81.00
New 13 Pro Max Smartphone 6.7 Inch 16GB + 512GB 10 Core Phone 5G LET Phone HD Screen Face ID Global Version Mobile Phone i 13
aliexpress.ru
$6.01
Creative 1200 Degree Rotating Car Mobile Phone Holder Dashboard Rearview Mirror Mobile Phone Navigation 111
aliexpress.ru
$7.21
5PCS Professional Wax Dotting Pen Nail Art Rhinestones Gems Picking Crystal Tools Nail Rhinestones Pick Up Pencil
aliexpress.ru
$8.30
Аутентичные 925 стерлингового серебра Радуга любви сердце с гравировкой жизни кулон шарма бусины, соответственные Пандоре обаятельные Брас...
aliexpress.com
$54.00
QZYERAI black beige Genuine leather Female boots Women's boots High heels Women's shoes Size 34-39
aliexpress.com
$3.97
Newborn Winter Cartoon Pattern Anti-Slip Casual Baby Boys Girl Shoes Sneakers Toddler Soft Soled First Walkers Booties for Babys
aliexpress.com
