Đang tải... (xem toàn văn)
Trạng thái thời gian tuyến tính (Linear-Time Behavior)
Tình hình thực hiện nhiệm vụ về củng cố quốc phòng, an ninh và công tác đối ngoại, hội nhập quốc tế
Các công cụ kiểm chứng mô hình
Kiểu dữ liệu, toán tử và câu lệnh
Cơ cấu lại các lĩnh vực trọng tâm
Về tiếp tục xây dựng và phát huy giá trị văn hóa, con người Việt Nam; phát triển thể dục, thể thao