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

Danh mục TaiLieu.VN

» Từ khóa: dac ta cac ngoai le

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

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ư tập Tin học

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

12 9195
Tuyển tập Vật lý

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

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

10 6709

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ố