Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

٢٥٩٫٠٠ ر.س.‏
+ ١٢٣٫٤٩ ر.س.‏ الشحن

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • العلامة التجارية: Unbranded
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • العلامة التجارية: Unbranded
السعر: ٢٥٩٫٠٠ ر.س.‏
البائع:
٢٥٩٫٠٠ ر.س.‏
+ ١٢٣٫٤٩ ر.س.‏ الشحن

متبقي في المخزون ١ فقط

نقبل وسائل الدفع الآتية

الوصف

Software programs are formal entities with precise meanings independent of their programmers so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduatelevel introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours.
  • العلامة التجارية: Unbranded
  • الفئة: الحاسبات والإنترنت
  • حَجْم: Paperback
  • اللغة: English
  • المؤلف: Siraj Ahmed Shaikh
  • الطول: 524
  • تاريخ النشر: 2023-06-24
  • الناشر/ العنوان: Springer Nature Swit
  • هوية Fruugo: 339437055-744601969
  • ISBN: 9783030388027

التسليم والرد

يُرسل خلال 24 ساعة

  • STANDARD: ١٢٣٫٤٩ ر.س.‏ - التسليم بين الاثنين 29 سبتمبر 2025 – الخميس 02 أكتوبر 2025

يُشحن من المملكة المتحدة.

نحن نبذل قصارى جهدنا لضمان أن تصلك المنتجات التي تطلبها بالكامل وطبقاً المواصفات التي حددتها. إلا أنه في حال تلقيك طلب غير كامل أو أغراض تختلف عن تلك التي طلبتها أو كان هناك سبب آخر يدعوك لعدم الرضاء عن الطلب، فيمكنك رد الطلب أو أي منتجات يتضمنها الطلب واسترداد ما دفعته من أجل تلك الأغراض بالكامل. عرض سياسة الرد الكاملة