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
- Hệ thống phân loại sản phẩm theo màu
- A study to identify factors affecting customer intention to use credit card at orient commercial joint stock bank - Nam Da Nang transaction office
- Giải pháp nâng cao hiệu quả sử dụng vốn lưu động tại Công ty cổ phần thương mại, tư vấn và xây dựng Vĩnh Hưng
- Giải pháp marketing nhằm thu hút khách du lịch đến lưu trú tại Premier Village Danang resort
- Website tìm kiếm và cho thuê phõng trọ và chung cư tích hợp thanh toán online