هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

جيم ودكوك

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
جيم ودكوك
معلومات شخصية

جيم ودكوك (بالإنجليزية: Jim Woodcock)‏ هو مهندس وعالم حاسوب بريطاني، ولد في 7 يونيو 1956.[1][2][3]

مراجع

  1. ^ Jim Woodcock and جيم ديفيز ‏, Using Z: Specification, Refinement, and Proof. International Series in Computer Science, 1996. (ردمك 978-0-13-948472-8)
  2. ^ Jim Woodcock homepage, قسم علوم الحاسوب جامعة أكسفورد. نسخة محفوظة 3 مارس 2017 على موقع واي باك مشين.
  3. ^ Official homepage, جامعة يورك, UK. "نسخة مؤرشفة". مؤرشف من الأصل في 2008-04-14. اطلع عليه بتاريخ 2019-07-13.{{استشهاد ويب}}: صيانة الاستشهاد: BOT: original URL status unknown (link)

وصلات خارجية

  • مقالات تستعمل روابط فنية بلا صلة مع ويكي بيانات