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
$12.16
Встраиваемый светодиодный светильник для лестницы 3 Вт, алюминиевый квадратный круглый настенный угловой светильник для бетонной лестницы 80 мм
aliexpress.ru
$34.37
New Type 3+2 Ultrafiltration Direct Drinking Water Filtration System Water Purifier for Household Kitchen Tap Water Filter Kit
aliexpress.com
$33.42
MAMBA Wireless Tattoo Machine 4.0 Customized Motor 1500MAH High-Capacity Battery Tattoo Pen For Permanent Makeup Tattoo Artist
aliexpress.com
$53.42
2024 New 1.85 Inch HD Bluetooth Call Men Sports Fitness Tracker Heart Monitor Smartwatch For Huawei P50 Pro P50 p40 Pro Motorola
aliexpress.com
$87.65
diy custom basketball shoes mens and womens all white heart rate cool trainers outdoor sports 36-46
dhgate.com
$0.61
for School Students Metal 20cm Measuring Scale Stationery Supplies Drafting Accessories Triangular Ruler Kids Gift
aliexpress.com
$6.97
For KAWASAKI Z250 Z300 Z400 Z650 Z750 Z800 Z900 Z1000 Z1000SX Motorcycle Storage Bag Waterproof Luggage Motorcycle Accessories
aliexpress.com
$4.23
TFT Display Module IPS Colour Screen 18PIN ILI9341 ST7789V Driver Touch Panel 2.8 Inch
aliexpress.com
$5.40
Оптовая продажа; Свадебные заколки для волос для торжественного случая клип перо для прически шапка женская повязка на голову клип повязка на голову, для изготовления украшений
aliexpress.com
$1.88
Настенный горшок для цветочных растений, гидропонная мини-ваза для домашнего декора, ваза для левитирующих растений, настенный органайзер для хранения, нордический домашний декор
aliexpress.ru
$13.93
Органза, плиссированная текстура, дизайнерская ткань, Креативная одежда, фоновое украшение, оптовая продажа, фотография
aliexpress.ru
$36.63
designer t-shirt casual mms t shirt with monogrammed print short sleeve for sale luxury mens hip hop clothing asian size s-4xl pd#01, White;black
dhgate.com
$42.55
new fashion iced out bling cubic zircon number 100 pendant necklace for men women jewelry gift with rope chain3928639, Silver
dhgate.com
$58.62
classic jumpman 11 11s basketball shoes sports low pure violet cherry men women animal instinct citrus cool grey legend blue space jam origi
dhgate.com
$164.95
di0rbags luxury balencaig bags outlet thousand bird checker staff bag hourglass stone pattern crocodile
dhgate.com
$15.00
Arm strength 80kg 110kg muscle exercise wrist strength 100kg chest expander 40kg arm strength bar
aliexpress.com
$9.09
TELESIN Surfboard Skateboard Stabilizer Bracket Mount Holder Stand Clip Clamp for GoPro Hero 7/6/5/4/3+ for Xiaomi YI 4k
aliexpress.com
$0.64
Kawaii The Avengers Plush Toys Hulk Thor Captain America Iron Man Spiderman Stuffed Animal Toys Soft Plush Dolls Great Boys Gift
aliexpress.com
$11.84
CKK Beads 100% 925 Sterling Silver Life Silver Charm DIY Fits Pandora Charms Silver 925 Original Bracelet Europe Beads pulsera
aliexpress.com
$3.53
2018 Hot Sale Product Fashion Girls Leather Women Solid Hasp Coin Purse High Quality Long Wallet Card Holders
aliexpress.com
$1.46
Gel Nail polish @@ Nail Gel Painting Varnish Pen One Step Nail Gel Polish Easy To Use UV Gel Lacquer wholesale 2018 dropshipping
aliexpress.com
$21.14
Women Swimsuit Racerback Sport Trunks Bikini Sets Boy Short Two-Piece Swimming Suit Female Rash Guard Pad Beachwear Bathing Suit
aliexpress.com