Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: dac ta operation

Kết quả 1-2 trong khoảng 2

Bài giảng Đặc tả hình thức: Chương 3 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 3 Mô hình hóa dữ liệu kiểu tập hợp, cung cấp cho người đọc những kiến thức như: Kiểu dữ liệu trong VDM; Các tập hợp được định nghĩa sẵn; Mô hình hóa dữ liệu; Kiểu tập hợp; Mô hình hóa các operation; Đặc tả operation. Mời các bạn cùng tham khảo!

18 p actvn 21/03/2023 70 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình hóa dữ liệu, Kiểu tập hợp, Đặc tả operation
Bài giảng Đặc tả hình thức: Chương 3 - PGS.TS. Vũ Thanh Nguyên

Bài giảng "Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp" cung cấp cho người học các kiến thức: Kiểu dữ liệu trong VDM, mô hình hóa dữ liệu, kiểu tập hợp, đặc tả operation,... Mời các bạn cùng tham khảo nội dung chi tiết.

23 p actvn 31/08/2020 298 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Mô hình hóa dữ liệu, Kiểu dữ liệu, Đặc tả operation

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Bộ sưu tập Kỹ thuật viễn thông

11 17060
Bộ sưu tập Tài liệu học tiếng Anh

14 84733
Bộ sưu tập Kỹ thuật lập trình

10 22122
Bộ sưu tập Lý luận chính trị

12 24239
Bộ sưu tập Mật mã - An toàn thông tin

10 22718

Học viện Kỹ thuật Mật Mã

141 đường Chiến Thắng - Tân Triều - Thanh Trì - Hà Nội
ĐT : 024.38544244 – 024.38543024 – 024.385520251

Phát triển bởi Thư viện số