جيم ودكوك (Jim Woodcock) هو مهندس وعالم حاسوب بريطاني، ولد في 7 يونيو 1956.[3][4][5]
جيم ودكوك | |
---|---|
معلومات شخصية | |
الميلاد | 7 يونيو 1956 (64 سنة)[1] |
الإقامة | يورك |
مواطنة | المملكة المتحدة[1] |
الحياة العملية | |
المدرسة الأم | جامعة ليفربول |
المهنة | عالم حاسوب، ومهندس |
اللغات | الإنجليزية[2] |
موظف في | جامعة كنت، وجامعة يورك، وجامعة أوكسفورد |
تأثر بـ | توني هور |
الجوائز | |
مراجع
- http://catalogue.bnf.fr/ark:/12148/cb14614170c — تاريخ الاطلاع: 31 مارس 2017
- Identifiants et Référentiels — تاريخ الاطلاع: 13 مايو 2020 — الناشر: Bibliographic Agency for Higher Education
- Jim Woodcock and جيم ديفيز , Using Z: Specification, Refinement, and Proof. Prentice-Hall International Series in Computer Science, 1996. (ردمك )
- Jim Woodcock homepage, قسم علوم الحاسوب جامعة أكسفورد. نسخة محفوظة 3 مارس 2017 على موقع واي باك مشين.
- Official homepage, جامعة يورك, UK. نسخة محفوظة 14 أبريل 2008 على موقع واي باك مشين.
وصلات خارجية
- لا بيانات لهذه المقالة على ويكي داتا تخص الفن