Data Refinement Refined

Data Refinement Refined

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Hoare, C, Hayes, I, He, J, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B
التنسيق: Record
منشور في: 1985
الوصف
الملخص:

مواد مشابهة