شاركنا تاريخ ميلادك!
تاريخ الميلاد
تاريخ الميلاد المدخل غير مكتمل يرجى ادخال تاريخ ميلاد صحيح
×
The Way of Z
360.00 جنيه

360.00 جنيه 

  - ستوفر -360.00 جنيه
الأسعار تشمل ضريبة القيمة المضافة  التفاصيل
رقم ال ISBN
9780521559768
الفئات
علوم الكمبيوتر
الكاتب
Jacky, Jonathan
الناشر
Cambridge University Press
الوصف:

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

الباعة الآخرين
(1) عروض أخرى بدءا من 360.00 جنيه
اشحن الى القاهرة (تغيير المدينة)
التوصيل خلال الجمعة ٢٣ نوفمبر - الأحد ٢٥ نوفمبر الي القاهرة
3 قطع متوفرة فقط!

حالة السلعة:
جديدة
البائع:
NEWBOOK (94% تقييم ايجابي)
ملاحظة البائع:
original 
الباعة الآخرين
(1) عروض أخرى بدءا من 360.00 جنيه

معلومات المنتج

  •  

    المواصفات

    رقم ال ISBN
    9780521559768
    الفئات
    علوم الكمبيوتر
    الرقم المميز للسلعة
    2724467954406
    المؤلفين
    الكاتب
    Jacky, Jonathan
    المؤلفين
    الناشر
    Cambridge University Press
    رقم ال ISBN
    9780521559768
    الفئات
    علوم الكمبيوتر
    الرقم المميز للسلعة
    2724467954406
    المؤلفين
    الكاتب
    Jacky, Jonathan
    المؤلفين
    الناشر
    Cambridge University Press
    معلومات تقنية
    غلاف الكتاب
    غلاف عادي
    اللغات والبلدان
    لغة الكتاب
    English
    إقرأ المزيد
  •  

    الوصف:

    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

    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

 

تقييمات المستخدمين

0
لا يوجد تقييمات بعد
كن أول من يقيِّم هذا المنتج
قيِّم هذا المنتج:

إعلانات مُموَّلة لك

×

الرجاء تأكيد رقم هاتفك الجوال لإكمال عملية الشراء

سنقوم بإرسال رسالة نصية تحتوي على رمز التفعيل، الرجاء التأكد من رقم هاتفك الجوال ادناه، ثم انقر على زر "أرسل رمز التفعيل".