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
- Developing consumer loan activities at capital Vietnamese commercial joint stock bank Da Nang branch – song han transaction office
- 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 dich vụ tại Hyatt Regency resort & Spa Danang
- Hoàn thiện chính sách marketing nhằm thu hút khách du lịch nội địa của Công ty TNHH thương mại và dịch vụ du lịch Vie tour
- Nghiên cứu đánh giá hiệu quả xử lý nước thải của một số khách sạn trên địa bàn thành phố Đà Nẵng và đề suất ứng dụng Công nghệ AO hai giai đoạn trong xử lý nước thải sinh hoạt
- Triển khai hệ thống hỗ trợ huấn luyện tấn công & phòng thủ trên không gian mạng