- 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 số
Danh mục TaiLieu.VN
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 74 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 Ngôn ngữ lập trình Pascal
Bài giảng "Ngôn ngữ lập trình Pascal" gồm 9 chương, cung cấp cho sinh viên chuyên ngành Sư phạm tin các kiến thức cơ bản về ngôn ngữ lập trình Pascal cả lý thuyết và bài tập thực hành. Mời các bạn cùng tham khảo!
125 p actvn 30/06/2018 574 2
Từ khóa: Bài giảng Ngôn ngữ lập trình Pascal, Ngôn ngữ lập trình Pascal, Lập trình Pascal, Kiểu dữ liệu đơn giản, Câu lệnh có câu trúc, Kiểu dữ liệu tập hợp
Đăng nhập
Bộ sưu tập nổi bật