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 học các kiến thức: Kiểu dữ liệu trong VDM, mô hình hóa dữ liệu, kiểu tập hợp, đặc tả operation,... Mời các bạn cùng tham khảo nội dung chi tiết.
Trường Đại học Công Nghệ Thông Tin, ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương Mơ hình hóa liệu Kiểu tập hợp Giảng viên: PGS.TS Vũ Thanh Nguyên PGS.TS Vũ Thanh Nguyên 4/5/2019 CuuDuongThanCong.com https://fb.com/tailieudientucntt Kiểu liệu VDM integer values: {-32768,…, 32767} operations: +, - , *, div, mod, =, , >, =, 0 post fn*n! = fn*n! n