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

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 أيام
  • أول ظهور لهذا المنتج كان فى مارس 20, 2016

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

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

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