- 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 8 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 8 Ngôn ngữ đặc tả Z, cung cấp cho người đọc những kiến thức như: Giới thiệu; Các thành phần của ngôn ngữ; Giản đồ; Các phép toán trên giản đồ. Mời các bạn cùng tham khảo!
47 p actvn 21/03/2023 62 0
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ, Logic toán học, Logic mệnh đề
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 học các kiến thức: Số và mảng là khái niệm quan trọng của Đặc tả hình thức, ngôn ngữ Z mô tả các dạng số - Đặc biệt là số tự nhiên dùng tương ứng với mảng.
36 p actvn 31/08/2020 260 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, Ngôn ngữ Z, Số và kiểu mảng, Kiểu dữ liệu
Bài giảng Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên
Bài giảng "Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z" cung cấp cho người học các kiến thức: Giới thiệu, các thành phần của ngôn ngữ, giản đồ, các phép toán trên giản đồ. Mời các bạn cùng tham khảo nội dung chi tiết.
47 p actvn 31/08/2020 242 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, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập Tài liệu học tiếng Anh
14 84699
Bộ sưu tập Kỹ thuật viễn thông
11 17037
12 24213
10 22087