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
$44.94
Children Room Art Decoration Unframed Color Acrylic Animal Artwork Abstract Cute Pig Wall Picture Canvas Roll For Paintings
aliexpress.com
$2.97
Baby Girls Cotton Shoes Retro Spring Autumn Toddlers Prewalkers Cotton Shoes Infant Soft Bottom First Walkers 0-18M
aliexpress.com
$94.31
Brisk A-Line Wedding Dress Smart O-Neck Bridal Gown Lace Backless Bride Robe Pretty Three Quarter Sleeve Sexy Vestidos De Novia
aliexpress.com
$76.80
4PCS Bathtub Faucet Bathroom Basin Faucet Shower Tap Set Hot and Cold Water Mixer Tap With Handheld Shower Head Deck/Wall Mount
aliexpress.com
$52.99
New US Laptop Keyboard For Acer Predator Helios 300 PH315-52 PH315-52-73DU PH315-52-75R0 PH317-53 Full Colorful Backlit
aliexpress.com
$53.65
Folding Sun Loungers Outdoor Garden Furniture Leisure Deck Chair Office Beach Lounge Chairs Relax Living Room Furniture For Home
aliexpress.com
$54.02
2022 Autumn Winter Women's New Loose Thicken Warm Coats Female Faux Rabbit Fur Jackets Ladies Solid Imitation Fur Outerwear O24
aliexpress.com
$51.63
1.8kg Warm Sleeping Bags for Camping 4 Seasons Adult Kids Sleeping Bag Hiking Backpacking Travel
aliexpress.com
$115.17
Luxury Wedding Fabric French Lace Fabric High Quality Sequins Embroidered African Net Laces tube Beads For Party Dress ZX-375
aliexpress.com
$141.36
Wireless Tattoo Machine Coreless Motor 1200mAh 2400mAh Lithium Battery Professional PMU RotaryTattoo Pen
aliexpress.com
$26.97
Pleated Plaid Skirts Woman Fashion 2022 Summer Elegance Slimming Mesh Stitching Oversized Skirt Fairy Mid-Length Skirt Ladies
aliexpress.com
$32.00
A+ Quality Tactrix Openport 2.0 Auto ECU FLASH Open Port 2.0 Chip Tuning OBD2 OBDII Car Diagnostic Tool For Merce-des Scanner
aliexpress.com
$30.00
Stoeger STR-9F Compatible Real Leather Premium Design Holster Two Belt Slot Quick Release Cross Draw OWB Gun Pouch Black
aliexpress.com
$17.00
Женские кроссовки на шнуровке INSTANTARTS, мультяшный рисунок медведя, обувь для прогулок, плоская подошва, для медсестер, больниц, на весну-лето
aliexpress.com
$78.75
Hot Selling Ultra-thin Full Touch Screen Female Bracelet Heart Rate Blood Pressure Monitoring Multi-exercise physiological perio
aliexpress.com
$10.98
Funny Cap Hoody Femme Teach Love Inspire Graphic Print Sweatshirt Women'S Clothing Teacher Life Tracksuit Winter/Spring Coat
aliexpress.com
$12.99
Maternity Pregnant Baby Loading 2022 gray Funny Women T Shirt Girl Shirt New Mom Big Size Clothes
aliexpress.com
$32.98
Baby Snail Maze Balance Board Indoor Outdoor Sports Toys Balance Training Equipment Rocking Seesaw Game Toys For Kids Gifts HM93
aliexpress.com
$12.43
summer designer t shirts mens womens letter frame printed fashion women tshirts cotton casual tees short sleeve t-shirt clothes925321, White;black
dhgate.com
$3.58
2020 Tassel Women Wallet Small Wallet Women Short Leather Women Wallets Zipper Purses Portefeuille Female Purse Clutch Carteras
aliexpress.com
$33.99
Photo-electric LED mask 7 color rejuvenation anti-wrinkle acne photon treatment home salon beauty tools
aliexpress.com
$44.69
Female Bag Soft Real Cow Leather Shoulder Crossbody Bags For Women 2022 New Solid Casual Totes Daily Messenger Underarm Satchel
aliexpress.com
$18.99
Drop Shipping 400*900MM XXL Large Multi-interface RGB Gaming Mousepad Forest Mousepad Dock USB HUB Typec Interface Gamer DeskMat
aliexpress.com
$24.76
Collocation Spring Autumn Men's Hoodie suits Nissan Car Logo Print high quality cotton Harajuku Men's sweatshirt+Pants 2-piece
aliexpress.com
$4.28
White Blank 20oz 30oz Sublimation Straight Tumbler Insulated Cylinder Water Cup DIY Heat Transfer Printing Double Wall Thermos Drinkware Tumblers, As pic
dhgate.com
$12.64
other home decor curtain tieback natural cotton rope strap farmhouse handwoven tie back holder drapery holdback
dhgate.com
$28.20
Aneng high precision digital multimeter digital display with NVC intelligent anti burning voltage and current test table an-8009
aliexpress.com
$0.81
50PCS Power Micro Button Switch 3X4X2mm/2.5mm/1.8mm Momentary Push Button 12V Tactile Button Reset Button Switch 4Pin SMD
aliexpress.com
$32.50
Male Breathable Trainers Men's Fashion Casual Shoes Adult Footwear Man Sneakers Krasovki Top Brand Chaussure Homme Plus Size 13
aliexpress.com
$4.80
High-end Hair Accessories Rhinestones Super Alloy Head Hoop Fine Side hair hoop Girls hair headband fashion Crystal hairband
aliexpress.com
$155.40
JP S061 9"Chinese Brass Folk mother and sonDragon tortoise Turtle Tiger Statue Feng Shui Discount 35%
aliexpress.com
$4.99
Mini Multifunctional Multi Tool Kit 9 In 1 Multitool Keychain Plier Screwdriver Pocket Tools Wire Cutter Stripper Crimper
aliexpress.com
$246.00
Brainlink Tune Brainwave Sensor Mindwave Smart Headband Tune Your Brain for Peak Performance Wearable EEG Module for Arduino SDK
aliexpress.com
$36.22
LP Пластинка РАЗНЫЕ ИСПОЛНИТЕЛИ - Каникулы на Родосе (Хиты 1978) 6483041 Philips 1978 Греция Фолк Б/У
joom.com
