- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
- Công nghệ thông tin (976 )
- Kỹ thuật công nghệ (963 )
- Ngoại ngữ (581 )
- Kinh tế (874 )
- Khoa cơ bản (1645 )
- Sư phạm tự nhiên (934 )
- Sư phạm xã hội (976 )
- Nông - Lâm - Ngư (939 )
- Thông tin - Thư viện (532 )
- Lý luận chính trị (704 )
- Tài liệu tham khảo khác (270 )
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Luận Văn - Báo Cáo (346704)
- Kinh Doanh Marketing (67778)
- Kinh Tế - Quản Lý (50036)
- Tài Chính - Ngân Hàng (57809)
- Công Nghệ Thông Tin (143292)
- Tiếng Anh - Ngoại Ngữ (47261)
- Kỹ Thuật - Công Nghệ (137309)
- Khoa Học Tự Nhiên (110530)
- Khoa Học Xã Hội (85272)
- Văn Hoá - Nghệ Thuật (54491)
- Y Tế - Sức Khoẻ (177214)
- Nông - Lâm - Ngư (63475)
- Kỹ Năng Mềm (29084)
- Biểu Mẫu - Văn Bản (27862)
- Giải Trí - Thư Giãn (52535)
- Văn Bản Luật (199483)
- Tài Liệu Phổ Thông (409665)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
» Từ khóa: dac ta thua ke
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 pdu 31/01/2018 123 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 pdu 31/01/2018 101 1
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
Phát triển bởi Thư viện số
