نقدم لكم ملف PDF كامل بعنوان
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem
وهو ضمن التصنيف الرئيسي
تكنولوجيا المعلومات
والذي يقع تحت التصنيف الفرعي
ادارة الأنظمة المعلوماتية والشبكية
يجدر الذكر أن الملف يقع تحت قسم
رسائل الماجستير والدكتوراه (ملفات PDF).