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

Danh mục TaiLieu.VN

» Từ khóa: thua ke dac ta

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

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

Nội dung chương 12 trình bày đến người học những vấn đề liên quan đến "Giới thiệu về ESC/Java2 Thủ thuật và cạm bẫy", cụ thể như: Đặc tả thừa kế, Aliasing, Object invariants, giả thuyết không nhất quán, Exposed references, old, viết đặc tả thế nào,...

29 p dhsphue 31/01/2018 204 1

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về ESC/Java2, Thủ thuật và cạm bẫy, Đặc tả thừa kế
Bài giảng Đặc tả hình thức: Chương 14 - Nguyễn Thị Minh Tuyền

Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Từ khóa chính trong JML, các tính năng nâng cao, đặc tả các ngoại lệ, ngoại lệ được cho phép bởi đặc tả, đặt ra luật cho ngoại lệ, hành vi ngoại lệ,...

28 p dhsphue 31/01/2018 195 2

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, JML nâng cao, Từ khóa chính trong JML, Các tính năng nâng cao, Đặc tả các ngoại lệ, Thừa kế đặc tả

Đăng nhập

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

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

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

12 9195
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
Tuyển tập Vật lý

9 6790

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ố