جيم ودكوك
جيم ودكوك (بالإنجليزية: Jim Woodcock) هو مهندس وعالم حاسوب بريطاني، ولد في 7 يونيو 1956.[4][5][6]
جيم ودكوك | |
---|---|
معلومات شخصية | |
الميلاد | 7 يونيو 1956 (66 سنة)[1] |
الإقامة | يورك |
مواطنة | المملكة المتحدة[1] |
الحياة العملية | |
المدرسة الأم | جامعة ليفربول |
المهنة | عالم حاسوب، ومهندس |
اللغات | الإنجليزية[2] |
موظف في | جامعة كنت ، وجامعة يورك، وجامعة أكسفورد |
الجوائز | |
المواقع | |
الموقع | الموقع الرسمي[3] |
مراجع
- المؤلف: المكتبة الوطنية الفرنسية — الناشر: المكتبة الوطنية الفرنسية — BnF catalogue général — تاريخ الاطلاع: 31 مارس 2017
- الناشر: وكالة الفهرسة للتعليم العالي — Identifiants et Référentiels — تاريخ الاطلاع: 13 مايو 2020
- https://dx.doi.org/10.23640/07243.13066970.V1 — ORCID Public Data File 2020 — تاريخ الاطلاع: 10 يناير 2021 — الرخصة: CC0
- 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. نسخة محفوظة 14 أبريل 2008 على موقع واي باك مشين.
وصلات خارجية
- لا بيانات لهذه المقالة على ويكي بيانات تخص الفن
- بوابة المملكة المتحدة
- بوابة أعلام
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.