Slide 1 * Chương 3 Mô hình hóa dữ liệu Kiểu tập hợp Giảng viên PGS TS Vũ Thanh Nguyên Trường Đại học Công Nghệ Thông Tin, ĐHQG HCM Khoa Công Nghệ Phần Mềm * * Kiểu dữ liệu trong VDM Các kiểu dữ liệu đ[.]
Trường Đại học Công Nghệ Thông Tin, ĐHQGHCM 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 Kiểu liệu VDM integer values: {-32768,…, 32767} operations: +, - , *, div, mod, =, , >, =, 0 post fn*n! = fn*n! n