Giáo trình Kỹ thuật lập trình nâng cao - Trần Hoàng Thọ
"Giáo trình Kỹ thuật lập trình nâng cao" gồm 2 phần chính và một phụ lục trình bày về chủ đề đệ quy trong lập trình bao gồm các nội dung sau: khái niệm đệ quy và vai trò của nó trong lập trình, cách xây dựng một giải thuật cho một bài toán bằng phương pháp đệ quy, cơ chế thực hiện một giải thuật đệ quy, phần 2 trình bày về chủ đề kiểm chứng tính đúng, các nội dung cần làm để tìm giải nghệ thuật đệ quy cho một bài toán, các giai đoạn trong cuộc sống của một phần mềm, ngôn ngữ lập trình, hệ luật Hoare và áp dụng của nó vào kiểm chứng tính đúng đầy đủ, dạng tổng quát của bài toán kiểm chứng và phương pháp kiểm chứng, các lược đồ kiểm chứng và tập tối thiểu các điều kiện cần kiểm chứng.
Xin lỗi bạn không thể down load tài liệu này. Bạn có thể xem tài liệu trực tuyến trên website hoặc liên hệ thư viện trường để được hướng dẫn. Cảm ơn bạn đã sử dụng dịch vụ của chúng tôi.
Bạn vui lòng tham khảo thỏa thuận sử dụng của thư viện số.