Đặc tả operation

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 đọc những kiến thức như: Kiểu dữ liệu trong VDM; Các tập hợp được định nghĩa sẵn; Mô hình hóa dữ liệu; Kiểu tập hợp; Mô hình hóa các operation; Đặc tả operation. Mời các bạn cùng tham khảo!

18p bapnep06 27-02-2023 6 3   Download

Tuyển tập các báo cáo nghiên cứu khoa học ngành toán học tạp chí Journal of Operator Theory đề tài: Mô tả đặc tính của các nhà khai thác không gian Hilbert với các bộ phận đơn nhất qua...

6p matuot_266 26-08-2011 69 5   Download