نقدم لكم ملف PDF كامل بعنوان A formal semantics of PLC programs in Coq وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي مجالات الاتصالات وبرامج الحوسبة يجدر الذكر أن الملف يقع تحت قسم الأبحاث والدراسات العلمية (ملفات PDF).