1. Trang chủ
  2. » Tất cả

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

18 3 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 18
Dung lượng 297,5 KB

Nội dung

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

Ngày đăng: 23/03/2023, 22:03