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
Saved in:
主要作者: | 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 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Vietnam National University, Hanoi |
語言: | Vietnamese |
相似書籍
-
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)