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
$1.13
Gray Film Blue Letter Original St7066U Chip 0802B-2 LCD Russian Character Dot Matrix Screen 58 * 32MM LCD Display Screen
aliexpress.com
$49.76
Высококачественная Накладка для протектора багажника из нержавеющей стали, Накладка для отделки/задний порог, Стайлинг автомобиля для Subaru FORESTER 2019-2020
aliexpress.com
$50.81
Handheld Chain protective Cover Bag Chain Anti Indentation Bag Renovation Single Selling Accessories Easy Installation
aliexpress.com
$22.18
Женская Повседневная юбка в стиле панк, однотонная демисезонная трапециевидная юбка с завышенной талией и карманами, модель 2024 года
aliexpress.ru
$1,322.34
Парикмахерский салон, кресло для отдыха, кровать для шампуня, мойка воды, стул для мытья волос, Дырокол
aliexpress.ru
$11.39
Женский с кружевной отделкой, на шнуровке, высокое низкое пальто, черный стимпанк, в викторианском стиле, Готическая куртка, средневековое благородное платье, размера плюс S-5XL
aliexpress.ru
$22.65
Новые серьги в виде цветка из серебра 925 пробы, инкрустированные искусственными белыми бриллиантами, роскошные серьги, универсальные и элегантные для женщин
aliexpress.ru
$21.62
Knitted Houndstooth Pullover Sweater Spring Winter S-XL Cotton Women Turtleneck Casual Long Sleeve Oversized Loose Jumpers Tops
aliexpress.com
$61.47
3-Tier Cat Tower with 2 Napping Perches, Peek Hole, 2 Sisal Rope Scratching Posts, and Hanging Toy – Cat Tree for Indoor Cats
aliexpress.com
$42.25
Floral Print Winter Jacket Sets For Women 2023 Round Neck Cotton Coat Mini Skirt Set Women Suit Vintage Streetwear Female Outfit
aliexpress.com
$32.57
2023 New H-Shaped Bag Canvas Bag Splicing Shopping Bag High Capacity Commuting Tote Bag Fashion Women Designer Women's Handbag
aliexpress.com
$3.54
New Hot Men PU Leather Wallets Men's Long Design Causal Purses Male Folding Wallet Coin Card Holders High Quality Slim Money Bag
aliexpress.com
$13.22
Sensor Cable Thermostat Thermostat UnderFloor White Color 16A Electric Floor Sensor Heating Home Heating System
aliexpress.com
$20.15
Women Sandals 2023 New Platform Sandals With Low Heels Shoes Women Elegant Wedge Heel Sandalias Mujer Summer
aliexpress.com
$39.95
Светодиодный внутренняя настенная лампа AC85-265V 10W, два типа современных простых ламп высокого качества, гарантия 3 года
aliexpress.ru
$35.28
For PEUGEOT Expert 2.0 HDi (2007 Onward) EGR Valve 6M5Q9D475AA 161832 1618GZ 1618.32 1618.GZ
aliexpress.com
$6.57
2x Car Front Wing Smoked Lens Flashing Dynamic LED Side Marker Light For BMW E36 M3 Facelift 1997-1999 X5 E53 1999-2006
aliexpress.com
$88.00
Custom Russian Earflap Hats Genuine Fox Hair Ushanka Warm Windproof Fluffy Real Raccoon Fur Winter Hats For Women
aliexpress.com
$136.25
casual dresses hight quality autumn style black v neck full sleeves button street blazer dress elegant femal evening party dr, Black;gray
dhgate.com
$13.90
Backpacks Preppy Students Backpack Large Capacity Button Travel Bag Solid Simple Harajuku Chic Fashion Retro Unisex High Street
aliexpress.com
$24.30
Japanese Double-Layer Lunch Box Plastic Split Lunch Box Adult Student Microwave Lunch Box
aliexpress.com
$30.00
Betty Boop Anime Hoodies Men Cartoon Sexy Girl 3D Printed Harajuku Sweatshirt Women Fashion Oversized Hoodie Streetwear Clothing
aliexpress.com
$3.62
Kawaii Pencil Case School Simple Large-capacity Multifunction Pencils Storage Pen Stationery With Bag Curtain Pouch Pen Can M4P9
aliexpress.com
$0.48
2pcs/lot Disposable Latex Tourniquet Blue Medical Outdoor Emergency Necessities Stop Bleeding Strap First Aid Supplies
aliexpress.com
$317.26
modern round carpet table rugs living room children bedroom rugs carpets computer chair floor mat cloakroom carpet home decor
dhgate.com
