- 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 Đặ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 187 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ả
Ebook Ngôn ngữ lập trình C++ từ cơ bản đến hướng đối tượng: Phần 2 – TS. Dương Tử Cường
Nối tiếp nội dung của phần 1 cuốn sách "Ngôn ngữ lập trình C++ từ cơ bản đến hướng đối tượng", phần 2 – Lập trình hướng đối tượng bao gồm 5 chương trình bày các nội dung: Lớp và đối tượng, tính kế thừa, định nghĩa chồng các hàm và toán tử, tính tương ứng bội, thư viện các dòng nhập xuất. Mời các bạn cùng tham khảo nội...
296 p dhsphue 27/06/2015 262 12
Từ khóa: Ngôn ngữ lập trình C++, Lập trình hướng đối tượng, Ngôn ngữ lập trình, Tính kế thừa, Định nghĩa chồng, Tính tương ứng bội