The Way of Z : Practical Programming with Formal Methods

332 ج.م.
Liveغير متوفر

* Publisher‎:‎Cambridge University Press * Copyright‎:‎1997 * Language‎:‎ English * ISBN13 ‎:‎9780521559768 * Number Of Pages‎:‎ 372 pages * Author‎:‎Jonathan Jacky T... المزيد عند جوميا

اشتريه من جوميا

تفاصيل المنتج

  • أفضل سعر لـ The Way of Z : Practical Programming with Formal Methods من جوميا فى مصر هو 332 ج.م.
  • طرق الدفع المتاحة هى
    دفع عند الاستلامبطاقة ائتمانيةالدفع البديل
  • تكلفة التوصيل هى 15 ج.م., والتوصيل فى خلال 2-5 أيام
  • تباع المنتجات المماثلة لـ The Way of Z : Practical Programming with Formal Methods فى كتب مصر, جوميا مع اسعار تبدأ من 432 ج.م.
  • أول ظهور لهذا المنتج كان فى مارس 20, 2016

المواصفات الفنية

SKU:JU030BKAJO6ONAFAMZ
Model:BACCAH - 9780521559768
Main Material:Paperback
Author:Jonathan Jacky

وصف جوميا

  • Publisher‎:‎Cambridge University Press
  • Copyright‎:‎1997
  • Language‎:‎ English
  • ISBN13 ‎:‎9780521559768
  • Number Of Pages‎:‎ 372 pages
  • Author‎:‎Jonathan Jacky
This 1997 book is a self‎-contained tutorial on z‎,‎ a formal notation for modelling‎,‎ specifying and designing computer systems and software‎,‎ for experienced professionals and serious students in programming and software engineering‎.‎ It presents realistic case studies emphasising 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‎.‎

تقييمات The Way of Z : Practical Programming with Formal Methods

  • لا يوجد تقييمات لهذا المُنتج.

منتجات مماثلة

منتجمتجرسعرطرق الدفعمدة التوصيلرسوم الشحن والتوصيل

متجر: كتب مصر

سعر: 432 ج.م.طرق الدفع:
دفع عند الاستلام
مدة التوصيل: 5-8 أيام رسوم التوصيل: 10 ج.م. اشتريه

متجر: كتب مصر

سعر: 659.75 ج.م.طرق الدفع:
دفع عند الاستلام
مدة التوصيل: 5-8 أيام رسوم التوصيل: 10 ج.م. اشتريه

متجر: جوميا

سعر: 725 ج.م.طرق الدفع:
دفع عند الاستلامبطاقة ائتمانيةالدفع البديل
مدة التوصيل: 2-5 أيام رسوم التوصيل: 15 ج.م. اشتريه