» Từ khóa: dac ta ham

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

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

Bài giảng Đặc tả hình thức: Chương 4 Số và kiểu mảng, cung cấp cho người đọc những kiến thức như: Số và mảng; ngôn ngữ Z mô tả các dạng số; các hàm và thao tác trên mảng/chuỗi. Mời các bạn cùng tham khảo!

28 p actvn 21/03/2023 41 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Kiểu dữ liệu, Hàm successor, Tập số tự nhiên, Tập số nguyên
Bài giảng Đặc tả hình thức: Chương 5 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 5 Đặc tả hàm, cung cấp cho người đọc những kiến thức như: Tổng quan về hàm; Đặc tả hàm không tường minh; Đặc tả hàm tường minh; Đặc tả đệ quy và sử dụng hàm phụ; Một số cấu trúc điều khiển. Mời các bạn cùng tham khảo!

46 p actvn 21/03/2023 56 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Đặc tả hàm, Đặc tả đệ quy, Đặc tả hàm tường minh, Đặc tả hàm không tường minh
Bài giảng Đặc tả hình thức: Chương 5 - PGS.TS. Vũ Thanh Nguyên

Bài giảng "Đặc tả hình thức - Chương 5: Đặc tả hàm" cung cấp cho người học các kiến thức: Tổng quan về hàm, đặc tả hàm không tường minh, đặc tả hàm tường minh, đặc tả đệ quy và sử dụng hàm phụ, một số cấu trúc điều khiển. Mời các bạn cùng tham khảo.

51 p actvn 31/08/2020 266 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, Đặc tả hàm, Đặc tả hàm tường minh, Đặc tả đệ quy

Đăng nhập

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

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

10 22720
Bộ sưu tập Kỹ thuật lập trình

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

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

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

14 84735

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ố