نقدم لكم ملف PDF كامل بعنوان HOLCF 11- A Definitional Domain Theory for Verifying Functional رسالة دكتوراه وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي علم الحاسوب يجدر الذكر أن الملف يقع تحت قسم رسائل الماجستير والدكتوراه (ملفات PDF).