Thông tin tài liệu
| Nhan đề : | Kiểm định đặc tả Alloy sử dụng chứng minh định lý logic vị từ bậc 1. |
| Tác giả : | Lê Thị Cẩm Liên |
| Người hướng dẫn: | Trần Đức Khánh |
| Từ khoá : | Bảo mật thông tin; Ngôn ngữ |
| Năm xuất bản : | 2014 |
| Nhà xuất bản : | Trường Đại học Bách Khoa Hà Nội |
| Tóm tắt : | Giới thiệu hệ thống quản lý truy cập tệp windows. Ngôn ngữ mô hình hóa. Mô hình hóa hệ thống bằng ngôn ngữ alloy. |
| 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/3813 |
| Trong bộ sưu tập: | Ths-Công nghệ thông tin |
XEM MÔ TẢ
57
XEM & TẢI
118
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.