جيم ودكوك
| جيم ودكوك | |
|---|---|
| معلومات شخصية | |
| تاريخ الميلاد | 7 يونيو 1956 (69 سنة) |
| الإقامة | يورك |
| مواطنة | |
| الحياة العملية | |
| المدرسة الأم | جامعة ليفربول |
| شهادة جامعية | دكتوراه الفلسفة[1] |
| طلاب الدكتوراه | Ngondi, Gerard Ekembe |
| المهنة | عالم حاسوب، ومهندس، وأستاذ جامعي[1] |
| اللغات | الإنجليزية |
| موظف في | |
| الجوائز | |
| زمالة الأكاديمية الملكية للهندسة زمالة جمعية الحاسبات البريطانية | |
| المواقع | |
| الموقع | الموقع الرسمي[7] |
جيم ودكوك (بالإنجليزية: Jim Woodcock) هو مهندس وعالم حاسوب بريطاني، ولد في 7 يونيو 1956.[8][9][10]
مراجع
- 1 2 3 https://www.cs.york.ac.uk/people/jim. اطلع عليه بتاريخ 2023-07-11.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ↑ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ↑ ORCID Public Data File 2020 (بالإنجليزية), 13 Oct 2020, DOI:10.23640/07243.13066970.V1, QID:Q104707600
- ↑ Jim Woodcock and جيم ديفيز , Using Z: Specification, Refinement, and Proof. برنتيس هول International Series in Computer Science, 1996. (ردمك 978-0-13-948472-8)
- ↑ Jim Woodcock homepage, قسم علوم الحاسوب جامعة أكسفورد. نسخة محفوظة 3 مارس 2017 على موقع واي باك مشين.
- ↑ Official homepage, جامعة يورك, UK. "نسخة مؤرشفة". مؤرشف من الأصل في 2008-04-14. اطلع عليه بتاريخ 2019-07-13.
{{استشهاد ويب}}: صيانة الاستشهاد: BOT: original URL status unknown (link)