Specification Languages for Preserving Consistency between Models of Different Languages
Cuốn sách trình bày một phương pháp bảo toàn tính nhất quán trong phát triển hệ thống CNTT phức tạp bằng cách phân loại các thách thức, hình thức hóa bằng lý thuyết tập hợp, giám sát thay đổi để tránh sai lệch và giới thiệu ba ngôn ngữ mới tuân theo phương pháp này.
Thứ Hai, 10:55 19/01/2026
Hướng dẫn khai thác và sử dụng Thư viện Đại học Công nghiệp Hà Nội năm 2024
Thứ Ba, 14:33 17/09/2024PGS.TS Nguyễn Thị Hồng Nga, Giám đốc - Trung tâm Đào tạo Sau đại học trao tặng 02 đầu sách ngoại văn cho Trung tâm Thông tin - Thư viện
Thứ Sáu, 07:37 24/05/2024Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page
Thứ Hai, 08:38 22/01/2024
NMR micro-detectors tailored for multinuclear and electrochemistry lab-on-a-chip applications
Thứ Hai, 10:47 19/01/2026
Mobile Entrepreneurs: An Ethnographic Study of the Migration of the Highly Skilled
Thứ Hai, 10:36 19/01/2026Copyright © 2018 Hanoi University of Industry.
