Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm

Lưu vào:
Hiển thị chi tiết
Tác giả chính: Đậu, Quốc Toản
Định dạng: Luận án
Ngôn ngữ:other
Thông tin xuất bản: Đại học Quốc gia Hà Nội 2016
Chủ đề:
Truy cập trực tuyến:http://repository.vnu.edu.vn/handle/VNU_123/5109
Từ khóa: Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!