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
السعر: ٢٤٩٫٠٠ ر.س.‏
البائع:
٢٤٩٫٠٠ ر.س.‏
+ ١١٤٫٩٩ ر.س.‏ الشحن

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

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

الوصف

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

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: ١١٤٫٩٩ ر.س.‏ - التسليم بين الجمعة 05 ديسمبر 2025 – الأربعاء 10 ديسمبر 2025

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

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