The Way of Z : Practical Programming with Formal Methods
Description
This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
Price history chart & currency exchange rate
Customers also viewed
$275.00
New Control Board Bitmain Antminer L3 Control Board Mining Machine Borad Blockchain L2 Control Board
aliexpress.ru
$6.90
Детский комплект жилета из чистого хлопка летняя одежда для девочек корейская детская одежда Новинка 2023 летний комплект из двух предметов для мальчиков
aliexpress.ru
$7.85
Hooks S Hanging Mini Hook Jewelry Kitchen Chain Shaped Hanger Diy Duty Heavy Closet Crafts Tags Bathroom Metal Equipment Net
aliexpress.ru
$42.29
new tracksuit men brand set sweatsuit zip sweatshirt training sportswear stripe jacket and joggers cargo pants 2 piece sets male female runn, Gray
dhgate.com
$30.96
2023 wear resistant beach wading casual shoes men moon black green orange purple sneakers outdoor for all terrains
dhgate.com
$7.19
40 pcsset fake nose ring circle clip on nose hoop body jewelry non piercing non piercing4700473, Silver
dhgate.com
$1.64
adjustable 8mm natural stone amethyst healing balance beaded bracelet for women men handmade 7 chakra aura stone prayer braided br4706289, Black
dhgate.com
$41.57
Колесо 8 дюймов, ступица из сплава с твердыми шинами 8X1.25 для Segway ES1, ES2, ES4, задняя шина для электрического скутера
aliexpress.com
$525.00
New HOT 2022 V3RS Colors Frozen Orange Carbon Road Frame Bicycle Frameset Carbon Frame+Fork+Seatpost+Headset+Clamp
aliexpress.com
$7.72
Шариковая ручка со стразами, 10 шт., канцелярские принадлежности, ручка, новинка, подарок, офисный материал, школьные принадлежности
aliexpress.com
$4.46
Хрустальные настольные лампы, сенсорные настольные прикроватные лампы, светильник с регулируемой яркостью, светодиодный Декор для комнаты...
aliexpress.com
$62.10
Минималистичная кружка в скандинавском стиле, белая керамическая посуда, Современная искусственная керамическая чашка для кафе, чашка для ...
aliexpress.com
$40.13
2011High Waist Women Jeans Fashion White Elastic Jeans Feminina Push Up Sexy Skinny Jeans Women High Quality Pantalon Femme, Black
dhgate.com
