المستودع الرقمي لـقسم الحاسب الآلي

عرض بنوع المنشور

Mixed Languages Programming Technique Based on Data Variables Emigration

رحاب عبد الله رجب بن عبد الله (2009)
كلية العلوم - جامغة طرابلس, .

Slotted-Circus
Andrew Butterfield, Adnan Sherif, Jim Woodcock (7-2007)
Lecture Notes in Computer Science - Springer, 4591(1), pp. 75-97.

Constructing Property-Oriented Models for Verification
Jifeng He, Shengchao Qin, Adnan Sherif (2-2006)
Lecture Notes in Computer Science - Springer, 4010(1), pp. 58-100.