Using Z: Specification Proof Refinement, Paperback Book, By: Jim Davies and J. C. P. Woodcock
Описание
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.
График изменения цены & курс обмена валют
Пользователи также просматривали
$2.91
Magiclulu Chair Cover Caster Wheels Socket Sleeve Chair Wheel Stopper Lid Chair Wheel Socket Inserts Bird Cage Accessories
aliexpress.com
$7.87
Венок из эвкалипта, листья зеленого цвета для входной двери, гирлянда для яиц для вечеринки
aliexpress.ru
$10.28
Набор рыболовных тройных крючков, крючки из высокоуглеродистой стали, прочные острые круглые изгибы для приманки, морская приманка, рыбалка, 100 шт./корт., разные размеры
aliexpress.ru
$13.04
Защитная крышка для мотоцикла, защитные аксессуары для KTM 125 150 250 300 400 450 EXC XC XC-W XCW TPI Six Days-500
aliexpress.ru
$85.15
5.5KW Frequency Drive, 220V to 380V CNC Milling Machine Drive Spindle Motor Speed Control
aliexpress.com
$101.49
Колесный диск литой VICTOR REINZ R-02 7,0x17 5*114,3 ET35 d67,1 Насыщенный серебристы
goods.ru
$3.60
Cartoon Bamboo Panda Wall Stickers For Kids Room Home Decor Living Room Panda Mural Decals Bedroom Decorative Sticker Muraux
aliexpress.com
$7.83
Wall Mounted Nordic Style Toilet Storage Rack Bathroom Shower Vanity Shelf Kitchen Corner Storage Basket Rack With Hooks
aliexpress.com
$38.23
men's shorts est solid summer fashion casual large size sports street wear male pants elastic waist breathable ivkh, White;black
dhgate.com
$25.04
Moc Leagued Blitzcrank Robot MOBA Competitive Game Building Block Assembly Model Lilac Toy Robot Creative Kids Toy Gift
aliexpress.com
$0.84
20pcs Feet Rivets Studs Pierced For Purse Handbag Leather DIY Crafts Metal Bag Accessories 12x6mm
aliexpress.com
$18.16
Зимние Модные Детские домашние тапочки из искусственного меха теплая обувь для девочек слипоны на плоской подошве женские детские меховые ...
aliexpress.com
$18.81
One-Piece Floral Vintage Gentle Square Collar High Waist Belt Women Sweet Dress Korean Elegant Puff Sleeve Print Summer Sundress
aliexpress.com
$1.23
Phone Case For Samsung A51 A71 A91 A52 A72 4G Clear Soft TPU for A42 A32 4G A41 A31 A21s A11 A01 Cover Casing Anatomy Acessorios
aliexpress.com
$5.39
silver inlaid natural Hetian jade lotus Pendant Necklace Chinese style retro unique gilding craft light luxury women's jewelry
aliexpress.com
$19.04
Трехколесный велосипед для самых маленьких TILLY DRIVE T-318 с EVA колеса, багажной корзиной Красный
rozetka.com.ua
$124.95
Wireless Pager System Waiter Call Restaurant Equipment Alarm Buzzer CE Certification(1 display+1 watch+2 call button)
aliexpress.com
