Thông tin tài liệu
| Nhan đề : | Nghiên cứu và ứng dụng công cụ BIP trong phát triển và kiểm chứng phần mềm. Studying and Applying BIP Component-Framework in Software Construction and Verification. (Viết bằng tiếng Anh và bảo vệ bằng tiếng Việt). |
| Tác giả : | Vũ Minh Phong |
| Người hướng dẫn: | Huỳnh Quyết Thắng |
| Từ khoá : | Phần mềm; Phát triển; Kiểm chứng |
| Năm xuất bản : | 2015 |
| Nhà xuất bản : | Trường Đại học Bách Khoa Hà Nội |
| Mô tả: | Luận văn thạc sỹ - Chuyên ngành Công nghệ thông tin |
| URI: | http://dlib.hust.edu.vn/handle/HUST/2842 |
| Trong bộ sưu tập: | Ths-Công nghệ thông tin |
XEM MÔ TẢ
68
XEM & TẢI
807
Danh sách tệp tin đính kèm:
Khi sử dụng tài liệu trong thư viện số bạn đọc phải tuân thủ đầy đủ luật bản quyền.