Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
47 tr. + CD-ROM + tóm tắt
محفوظ في:
المؤلف الرئيسي: | Phạm, Thanh Hải |
---|---|
مؤلفون آخرون: | Nguyễn, Việt Hà, người hướng dẫn |
التنسيق: | Theses and Dissertations |
اللغة: | Vietnamese |
منشور في: |
ĐHCN
2017
|
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/43015 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh
بواسطة: Phạm, Thanh Hải
منشور في: (2016) -
Kiểm chứng một số ràng buộc trong chương trình Java sử dụng AOP : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
بواسطة: Lê, Ngọc Minh
منشور في: (2017) -
Kiểm chứng dịch vụ Web với logic thời gian
بواسطة: Đào, Thị Hường
منشور في: (2017) -
Kiểm chứng sự tuân thủ giữa đặc tả điều khiển truy cập và cài đặt : Luận văn ThS. Công nghệ thông tin: 60 48 10
بواسطة: Nguyễn, Hồng Phong
منشور في: (2017) -
Phân tích, thiết kế và cài đặt kiểm chứng một hệ thời gian thực : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
بواسطة: Phạm, Văn Tuấn
منشور في: (2017)