- 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: công cụ hỗ trợ
Kết quả 1-3 trong khoảng 3
-
Bài giảng Linux và phần mềm mã nguồn mở - Chương 2: Sử dụng Linux
Bài giảng Linux và phần mềm mã nguồn mở - Chương 2: Sử dụng Linux. Chương này cung cấp cho sinh viên những nội dung gồm: hệ điều hành; nguồn tải Linux; các lệnh cơ bản; thông tin hỗ trợ;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
35 p pdu 26/08/2024 11 0
Từ khóa: Bài giảng Linux và phần mềm mã nguồn mở, Linux và phần mềm mã nguồn mở, Sử dụng Linux, Nguồn tải Linux, Hệ điều hành Linux, Tài nguyên hệ thống, Công cụ hỗ trợ lập trình
-
Bài giảng Đặc tả hình thức: Chương 9 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 9 cung cấp cho người học các kiến thức: Từ mô hình đến cài đặt, design by contract (DBC), ý tưởng cơ bản, ngôn ngữ đặc tả hay ngôn ngữ lập trình, công cụ hỗ trợ,...
22 p pdu 31/01/2018 152 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Design by contract, Ngôn ngữ đặc tả, Công cụ hỗ trợ
-
Bài giảng Đặc tả hình thức: Chương 10 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 10 do Nguyễn Thị Minh Tuyền biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm có Giới thiệu về JML, công cụ hỗ trợ cho JML, ESC/Java2: Cách sử dụng và thuộc tính, ESC/Java2: các cảnh báo, một số chỉ dẫn về đặc tả và điểm yếu, JML nâng cao.
28 p pdu 31/01/2018 144 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ề Java Modeling Language, Java Modeling Language, Công cụ hỗ trợ cho JML
Đăng nhập
Phát triển bởi Thư viện số
