هذا المُنتج قد لا يكون متوفراً الآن.

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

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

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

SKU:JU030BKAJO6ONAFAMZ
الموديل:BACCAH ‎- 9780521559768
الخامة الأساسية:Paperback
المؤلف: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

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

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

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

متجر: ديوان

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

متجر: كتب مصر

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

متجر: جوميا

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

متجر: جوميا

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

متجر: جوميا

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

متجر: جوميا

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