- 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ố
Danh mục TaiLieu.VN
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 15 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 155 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 149 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