» Từ khóa: ngon ngu dac ta hinh thuc

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

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 iemh 18/03/2023 48 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 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 iemh 18/03/2023 47 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 đề

Đăng nhập

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

Tin nhanh

Lễ khai giảng Lớp Cộng tác viên thanh tra Tiểu học khóa 24

TRUNG TÂM THÔNG TIN THƯ VIỆN TRƯỜNG CÁN BỘ QUẢN LÝ GIÁO DỤC TP.HỒ CHÍ MINH

Số 7-9 Nguyễn Bỉnh Khiêm - Phường Bến nghé - Quận 1 - TP. Hồ Chí Minh
Điện thoại: (028) - 39118766 - Fax: (028) - 38296336 - Email: thuvien@iemh.edu.vn
Website: iemh.edu.vn

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