CSDL Luận văn - Luận án
Nghiên cứu hệ tiên đề Hoare và triển khai trên ngôn ngữ Java
Số trang:
66 tr.
Chuyên ngành:
Khoa học Máy tính
Mã phân loại:
003
Kiểu tài liệu: Luận văn Thạc sỹ
Nhà xuất bản:
Đại học Duy Tân
Nơi lưu trữ: 209 Phan Thanh
Năm xuất bản:
2016
Ngôn ngữ: Tiếng Việt
Chủ đề:
Java
&
Công nghệ phần mềm--Lập trình ứng dụng
Tóm tắt:
Chương 1. Tổng quan về công nghệ phần mềm; Chương 2. Hệ tiên đề Hoare; Chương 3. Chứng minh một số giải thuật.
Luận văn liên quan
- Hoàn thiện công tác quản trị rủi ro tín dụng khách hàng cá nhân tại Ngân hàng Nông nghiệp và Phát triển Nông thôn Việt Nam - Chi nhánh Buôn Hồ Bắc Đắk Lắk
- Hoàn thiện hoạt động cho vay khách hàng cá nhân tại Ngân hàng TMCP Phát triển thành phố Hồ Chí Minh - Chi nhánh Đắk Nông
- Nghiên cứu các nhân tố ảnh hưởng đến sự hài lòng của khách hàng đối với chất lượng dịch vụ ngân hàng điện tử tại Ngân hàng TMCP Công thương Việt Nam - Chi nhánh Đắk Lắk
- Quản trị rủi ro tín dụng trong cho vay khách hàng doanh nghiệp tại Ngân hàng TMCP Phát triển thành phố Hồ Chí Minh - Chi nhánh Đắk Lắk
- Nâng cao chất lượng tín dụng ngân hàng trong sản xuất Nông nghiệp tại Ngân hàng Thương mai Cổ phần Phát triển thành phố Hồ Chí Minh - Chi nhánh Đắk Lắk