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.