Bài giảng đặc tả hình thức chương 3 pgs ts vũ thanh nguyên

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 2 Kiểu dữ liệu trong VDM integer values { 32768, , 32[.]

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 Kiểu liệu VDM integer values: {-32768,…, 32767} operations: +, - , *, div, mod, =, , >, =, 0 post fn*n! = fn*n!  n