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
$169.88
DTF Ink Tank For Epson Sure Color P600 R3000 With Stirrer DTF Ink Tank CISS With Mixer BIS Continuous Ink Supply System
aliexpress.com
$32.50
Arborea hero нанимается на одну пару (две штуки) 14 дюймов hihat тарелка для продажи
aliexpress.ru
$9.15
Мужские однотонные куртки с воротником-стойкой, Спортивная внешняя женская спортивная одежда, карманы для тренировок, ежедневный стиль, классика, защита от солнца
aliexpress.ru
$3.44
Супертонкий мягкий кошелек из искусственной кожи, однотонный мини-держатель для кредитных карт, кошелек с несколькими отделениями для монет, кошелек, держатели для карт, мужской кошелек
aliexpress.ru
$15.18
5X 052K97773 Тонер-шнек для XEROX WorkCentre 7525 7530 7535 7545 7556 7830 7835 7845 7855 7970 7425 Phaser 7428
aliexpress.ru
$16.42
Car Battery Clip Automotive Electrical Clip-on Cable Battery Alligator Clips Cable For Lawn Mowers Motorcycles Ships Automobiles
aliexpress.com
$40.85
Floor Scrubbing Brush Stiff Scrubber Brush Shower Cleaning Brush Deck Scrub Brush Grout Brush For Garages Swimming Pools
aliexpress.com
$277.80
Antifrozen Membrane Pad For Criolipolisis Handle Lipo Laser 40Khz Cavitation Body Rf Vacuum Skin Careing Machine For Sale
aliexpress.com
$22.32
new gym fitness bodybuilding jogging training shorts men running sports shorts outdoor quick-drying breathable thin sweatpa, Black;blue
dhgate.com
$34.68
2019 new motorcycle pants jeans casual men's motorbike motocross off-road knee protective moto jeans trousers pantalo moto, Black;blue
dhgate.com
$20.80
sark industries mens hoodies hooded casual fashion sweatshirts long sleeved pullovers designer spring hoodie, Black
dhgate.com
$43.03
street fashion women autumn winter long denim jacket women's cotton long sleeve embroidery female loose hole jeans coat clothes, Black;brown
dhgate.com
$28.22
6 pcs for stainless steel wall-mount towel hook coat hanger for bathroom hanger heated towel bath hook
dhgate.com
$29.58
vintage color block print summer fall shirt lantern sleeve button women slim ladies work xxl plus size office blouses 2019, White
dhgate.com
$2.85
Für Iphone 13 Pro 6.1 Zoll Stoff Textur PU Leder Faltbares Stand Hülle Telefon Brieftasche Schutzabdeckung Mit RFID -blockierungsfunktion - Braun, iPhone 13 Pro
tvc-mall.com
$3.76
Caseneo 003 Serie Vertikales Flip -telefon Hülle Für Iphone 13 6,1 Zoll, Kartenhalter Business Style Spleißpu Leder -ständer Cover - Schwarz, iPhone 13
tvc-mall.com
$40.17
hot-selling pajamas women's thin plus fat plus size cardigan long-sleeved ice silk suit silk home clothes
fordeal.com
$39.22
summer new little girl simple wind performance shoes solid color small leather shoes
fordeal.com
$3.17
Aurora-Serie Anti-Collision Exquisite Ultra-klare Telefon-Abdeckungsschale Für IPhone 13 Pro 6,1 Zoll - Transparenter Schwarz, iPhone 13 Pro
tvc-mall.com
$18.76
gothic portrait print t-shirt aesthetic y2k cropped top cropped pajama tank top t-shirt harajuku streetwear white suspenders women's
fordeal.com
$3.37
Suteni Für Iphone 14 Pro Max PU Leder Beschichtete PC+TPU -telefonhülle Gewebte Texturelektroplierabdeckung - Rosa, iPhone 14 Pro Max
tvc-mall.com
$3.51
Fat Lumps Removal Oil 10g Plant Body Care Skin Moisturizing Oil For Women Men Skin Lipoma Elimination Oil Gift For Friend Family
aliexpress.com
$7.75
Car Pedals Accelerator Gas Brake Clutch Rest Pedal Cover for Hyundai Ix25 Creta Accent Verna Solaris for Kia K2 Rio Soul KX3
aliexpress.com
$27.66
women mixed color flip flops woman bowtie tie dye slippers big size women's 2021 summer casual flats ladies slides beach shoes, Black
dhgate.com
$30.79
children clothing for girls clothes sets spring autumn leopard long sleeve pullover + pant 2pcs outfit suit toddler costume, White
dhgate.com
$3.48
Yishine 70*70 CM Women Multifunction Polyester Silk Scarf Irregular Dots Printed Satin Small Square Wraps Scarves Shawl
aliexpress.com
$24.05
2019 male fashion casual shoes Knitted Fly weaving Men sneakers Breathable Mesh Walking footwear lightweight Flats shoes562
aliexpress.com
$8.08
2020 Hot Japanese Anime Devil's Blade Series Desk Calendar DIY Cartoon Characters Coil Calendars Daily Schedule Planner
aliexpress.com
