- 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 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 học các kiến thức: 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 nội dung chi tiết.
89 p hvct 30/10/2020 145 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, Phép toán vị từ, Cơ sở đặc tả hình thức, Luật suy diễn
Đăng nhập
Bộ sưu tập nổi bật