Tài liệu Thư viện số

Danh mục TaiLieu.VN

» 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 hbu 26/03/2023 200 106

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 hbu 26/03/2023 169 104

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 đề

Hướng dẫn khai thác thư viện số

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

Tuyển chọn tài liệu hay về Công nghệ sinh học

7 8673
Bộ sưu tập tài liệu hay về Sức khỏe và y tế

10 10492
Tuyển chọn tài liệu Mỹ thuật công nghiệp

11 10430
Tuyển chọn sách hay về Quản lý kinh doanh

10 9152
Bộ sưu tập tài liệu Kỹ thuật điện tử

8 8367

Thư viện Đại học Quốc Tế Hồng Bàng

Địa chỉ: 215 Điện Biên Phủ - Phường 15 - Quận Bình Thạnh - Tp. Hồ Chí Minh
Điện thoại: 0938.084.083 - Email: hoaitm@hiu.vn

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