The Automatic assessment of Z specifications /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Zarina Shukur
التنسيق: أطروحة كتاب
اللغة:English
منشور في: Nottingham : School of Computer Science and IT, University of Nottingham, 1999
الموضوعات:
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!