The Way of Z : Practical Programming with Formal Methods

332 ج.م. In stock

* 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 ... المزيد عند جوميا

اشتريه من جوميا
(0)
ابلغ عن خطأ

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

  • أفضل سعر لـ 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

  • 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‎.‎

تقييمات

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

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

    منتجمتجرسعرطرق الدفعمدة التوصيلرسوم الشحن والتوصيل
    Krav Maga: An Essential Guide to the Renowned Method for Fitness and Self-Defense
    Krav Maga: An Essential Guide to the Renow...
    متجر:ديوانسعر: 189 ج.م.طرق الدفعدفع عند الاستلامبطاقة ائتمانيةمدة التوصيل: 1-3 أيام رسوم التوصيل: 15 ج.م. اشتريه
    Environmental Modeling: A Practical Introduction
    Environmental Modeling: A Practical Introd...
    متجر:كتب مصرسعر: 432 ج.م.طرق الدفعدفع عند الاستلاممدة التوصيل: 5-8 أيام رسوم التوصيل: 10 ج.م. اشتريه
    The Architect`s Handbook of Professional Practice 2006
    The Architect`s Handbook of Professional P...
    متجر:جومياسعر: 449 ج.م.طرق الدفعدفع عند الاستلامبطاقة ائتمانيةالدفع البديلمدة التوصيل: 2-5 أيام رسوم التوصيل: 15 ج.م. اشتريه
    A to Z Entrepreneur in Practice : Business Feasibility Study
    A to Z Entrepreneur in Practice : Business...
    متجر:جومياسعر: 632 ج.م.طرق الدفعدفع عند الاستلامبطاقة ائتمانيةالدفع البديلمدة التوصيل: 2-5 أيام رسوم التوصيل: 15 ج.م. اشتريه
    The Way of Z : Practical Programming with Formal MethodsThe Way of Z : Practical Programming with Formal Methods






    ... أوأضف الى قائمة مفضلة جديدة.