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
$49.82
2024 Winter fleece-lined thick high-end jeans men's fashion brand stretch slim fit warm cold-resistant denim long pants
aliexpress.com
$27.10
print city association basketball dangelo russell jersey 1 malik beasley 5 davon reed 11 mohamed bamba 12 jarred vanderbilt 2 rui hachimura, Black;red
dhgate.com
$0.30
1pc Car Mini Hooks Organizer Storage Hanger For USB Cable Headphone Key Bag Storage
aliexpress.com
$24.75
Unisex Hip Hop Punk Oversized Harajuku Men Clothing Streetwear Mens Couple Clothes Sweater Fashion
aliexpress.com
$82.80
men's fur & faux winter overcoat thick warm coat black jacket luxury long sleeve parka outerwear for men
dhgate.com
$65.99
Doginthehole Bags for Women 2021 Handbags and Purses Bags Tonga Polynesian Printed Ladies Shoulder Bag Leather Women's Handbag
aliexpress.com
$23.14
2 IN 1 Depilator Women Epilator Painless Lady Shaver Bikini Trimmer Armpit Leg Hair Remover Female Depilation Body Hair Razor
aliexpress.com
$149.71
dusty blue bohemian beach wedding dress short sleeves lace bodice a line tulle court train chic country bridal gowns vestido de novia, White
dhgate.com
$10.43
Nz1157 Hot Sales Necklace Europe And America Elegant Simple World Map Moon Circular Ring Multistory Necklace
aliexpress.com
$3.22
C33713 Гетры футбольные (красные) р.SR (взрослые) для экипировки спортивных команд, C33713
goods.ru
$23.23
3d лягушка печати kawaii толстовки женщины хлопок толстовка горячие продажа негабаритных балахон kpop 3d лягушка уличная прекрасный пот femm, Black
dhgate.com
$35.72
2020 осень гавайская рубашка мужская летняя повседневная мода печать о-образным вырезом свободные с коротким рукавом рубашки топы camisa mas, White;black
dhgate.com
$25.87
rose flower plant wall art print nordic canvas poster floral painting scandinavian decorative picture modern living room decor
dhgate.com
$46.56
fashion women lace adjustable strap wrapped underwear seamless tube 2019 summer accessories student bra, Black;white
dhgate.com
$52.00
ilm 1/2 open face motorcycle helmet dot approved quick release skull cap low profile half helmet vintage black s m l xl
dhgate.com
