THƯ VIỆN SỐPlease use this identifier to cite or link to this item:
http://lrc.quangbinhuni.edu.vn:8181/dspace/handle/DHQB_123456789/5358| Title: | Giáo trình Kỹ thuật lập trình nâng cao |
| Authors: | Trần Hoàng, Thọ |
| Keywords: | Công nghệ thông tin Kỹ thuật lập trình |
| Issue Date: | 2002 |
| Publisher: | Trường Đại học Đà Lạt |
| Abstract: | Trình bày về chủ đề đệ quy trong lập trình; chủ đề kiểm chứng tính đúng của chương trình. Trình bày các kiến thức ban đầu về logic mệnh đề và logic tân từ |
| URI: | http://lrc.quangbinhuni.edu.vn:8181/dspace/handle/DHQB_123456789/5358 |
| Appears in Collections: | [TK] Kỹ thuật lập trình |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| giaotrinhkythuatlaptrinhnangcao0127.pdf | 924.09 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.