جيم ودكوك (بالإنجليزية: Jim Woodcock) هو مهندس وعالم حاسوب بريطاني، ولد في 7 يونيو 1956.[7][8][9]
- ^ 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)