جيم ودكوك

جيم ودكوك  هو مهندس وعالم حاسوب بريطاني، ولد في 7 يونيو 1956.Jim Woodcock and , Using Z: Specification, Refinement, and Proof.  International Series in Computer Science, 1996. Jim Woodcock homepage, قسم علوم الحاسوب جامعة أكسفورد. Official homepage, جامعة يورك, UK. 

 مراجع 

 وصلات خارجية 

تصنيف:أكاديميو جامعة كينت
تصنيف:أكاديميو جامعة يورك
تصنيف:خريجو جامعة ليفربول
تصنيف:زملاء جمعية الحاسبات البريطانية
تصنيف:علماء حاسوب بريطانيون
تصنيف:محررو نشرات دورية أكاديمية
تصنيف:مواليد 1956
تصنيف:أعضاء قسم علوم الحاسوب (جامعة أكسفورد)