Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

‏239.00 ₪
+ ‏118.49 ₪ משלוח

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • מותג: Unbranded
  • product image

Formal Methods For Software Engineering by Siraj Ahmed Shaikh Paperback

  • מותג: Unbranded
מחיר: ‏239.00 ₪
נמכר על ידי:
‏239.00 ₪
+ ‏118.49 ₪ משלוח

רק 1 נותרו במלאי

אנו מקבלים את אמצעי התשלום הבאים

תיאור

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
  • קטגוריה: מחשוב ואינטרנט
  • מֶשֶׁך: 524
  • שָׂפָה: English
  • מְחַבֵּר: Siraj Ahmed Shaikh
  • מוציא לאור / תווית: Springer Nature Swit
  • פוּרמָט: Paperback
  • תאריך פרסום: 2023-06-24
  • מזהה Fruugo: 339437055-744601969
  • ISBN: 9783030388027

משלוחים והחזרות

שילוח תוך 24 שעות

  • STANDARD: ‏118.49 ₪ - משלוח בין יום ו׳ 26 ספטמבר 2025–יום ה׳ 02 אוקטובר 2025

משלוח מ- בריטניה.

אנו עושים כמיטב יכולתנו להבטיח שהמוצרים שאתם מזמינים יישלחו אליכם במלואם ובהתאם למפרט שלכם. עם זאת, אם תקבלו הזמנה חלקית, או פריטים שונים מאלו שהזמנתם, או שיש סיבה אחרת לכך שאינכם מרוצים מההזמנה, באפשרותכם להחזיר את ההזמנה, או כל אחד מהמוצרים הכלולים בהזמנה, ולקבל החזר מלא עבור הפריטים. הצג מדיניות ההחזרים המלאה