- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện Điện Tử
Danh mục TaiLieu.VN
Bài giảng Đặc tả hình thức: Chương 3 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 3 do Nguyễn Thị Minh Tuyền biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm Nguyên tử và quan hệ, signature và Field, các phép toán,...Mời các bạn cung tham khảo!
69 p cuc 31/01/2018 265 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Nguyên tử và quan hệ, Quan hệ đơn phân
Đăng nhập