Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Shaoying Liu, Tom Maibaum, Keijiro Araki (edición)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Berlín, Alemania : Springer, 2008, c2008
سلاسل:(Lecture Notes in Computer Science)
الوصول للمادة أونلاين:Ver documento en línea
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!