» Từ khóa: Đặc tả hình thức

Kết quả 13-17 trong khoảng 17

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

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

21 p actvn 21/03/2023 54 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình Thế giới thực, Ngôn ngữ đặc tả hình thức, Quy trình công nghệ phần mềm, Ngôn ngữ hình thức
Bài giảng Đặc tả hình thức: Chương 2 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 2 Cơ sở toán học trong đặc tả hình thức, cung cấp cho người đọc những kiến thức như: Lý thuyết tập hợp; Phép toán vị từ; Lượng từ; Luật suy diễn. Mời các bạn cùng tham khảo!

75 p actvn 21/03/2023 63 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Cơ sở toán học trong đặc tả hình thức, Phép toán vị từ, Luật suy diễn
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 40 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 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 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 55 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

Đăng nhập

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

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

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

11 17060
Bộ sưu tập Kỹ thuật lập trình

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

14 84733
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ố