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 tiêu thụ và xác định kết quả kinh doanh tại Công ty TNHH Tuấn Hoa do Công ty TNHH dịch vụ kế toán Hằng An Phát thực hiện
- Kế toán thuế GTGT và thuế TNDN tại Công ty TNHH DH VINA
- Nghiên cứu các nhân tố ảnh hưởng đến sự hài lòng của khách hàng về chất lượng dịch vụ tại Danang Marriott Resort & Spa, Non Nuoc Beach Villas
- Giải pháp nâng cao chất lượng dịch vụ ăn uống tại Nhà hàng Epice Restaurant - Khách sạn Pullman Danang Beach Resort
- Nghiên cứu các yếu tố ảnh hưởng đến sự hài lòng của khách hàng tại Nhà hàng Epice Restaurant - Khách sạn Pullman Danang Beach Resort