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:
Kỹ thuật Phần mềm
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
- Kế toán công nợ phải thu khách hàng và phải trả người bán tại Công ty CP xây dựng Gemcom
- Kế toán thuế giá trị gia tăng tại Công ty TNHH Beetek
- Kế toán tiêu thụ và xác định kết quả kinh doanh tại Công ty TNHH cơ khí tổng hợp và thương mại Hoàng Quân
- Một số giải pháp nhằm hoàn thiện hoạt động bán hàng đối với sản phẩm tour du lịch Đà Lạt của Công ty TNHH Thương mại và Du lịch Ago Tourist
- Nghiên cứu các yếu tố ảnh hưởng đến ý định lựa chọn điểm đến an toàn của khách du lịch nữ đi một mình: Nghiên cứu trường hợp tại Tp. Đà Nẵng