Tài liệu Thư viện số

Danh mục TaiLieu.VN

» Từ khóa: cac mo hinh tinh

Kết quả 1-1 trong khoảng 1

Bài giảng Đặc tả hình thức: Chương 7 - Nguyễn Thị Minh Tuyền

Nội dung chương 7 trình bày đến người học những vấn đề liên quan đến "Mô hình động trong Alloy", cụ thể như: Các mô hình tĩnh, mô hình hóa chuyển đổi trạng thái, signature mang tính chất tĩnh, các chuỗi trạng thái, biểu diễn một chuyển đổi,...

38 p dhsphue 31/01/2018 180 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình động trong Alloy, Các mô hình tĩnh, Các vị từ frame condition

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Tuyển tập Vật lý

9 6790
Bộ sưu tập Toán học

9 7815
Bộ sư tập Tin học

10 7989
Tổng hợp các giáo trình, bài giảng về Cơ...

10 6709
Bộ sưu tập tài liệu Hóa học

12 9195

TRƯỜNG ĐẠI HỌC SƯ PHẠM HUẾ

Địa chỉ: 34 Lê Lợi - Thành phố Huế, tỉnh Thừa Thiên Huế.
Điện thoại: 0234.3822.132. Fax: 0234.3825.824

Phát triển bởi Thư viện số