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
34 tr. + CD-ROM + tóm tắt
Saved in:
Main Author: | Lê, Ngọc Minh |
---|---|
Other Authors: | Trịnh, Thanh Bình, người hướng dẫn |
Format: | Theses and Dissertations |
Published: |
ĐHCN
2017
|
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/42990 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Similar Items
-
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
by: Phạm, Thanh Hải
Published: (2017) -
Ứng dụng của Spin để kiểm chứng sự tuân thủ thể thức tương tác của chương trình : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
by: Hoàng, Văn Thủy
Published: (2017) -
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
by: Phạm, Thanh Hải
Published: (2016) -
Kiểm chứng từng phần cho chương trình C
by: Hoàng, Mạnh Khôi, et al.
Published: (2016) -
Kiểm chứng các dịch vụ web : Luận văn ThS. Công nghệ thông tin : 60 48 10
by: Nguyễn, Thị Thúy Nga
Published: (2017)