يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'Barnett, Mike', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1

    Weakest-precondition of unstructured programs. حسب Barnett, Mike

    الحاوية / القاعدة Software engineering notes.
    مقال

    Weakest-precondition of unstructured programs.

أدوات البحث: