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
- Các nhân tố ảnh hưởng tới hoạt động thu mua nông sản tại Công ty cổ phần chế biến và xuất khẩu nông sản Việt
- Understanding key factors affecting the procurement of agricultural products at Vietnam agricultural processing & export joint stock company : a case study
- Phân tích tình hình tài chính của Công ty kiến trúc và nội thất L&W (2021 - 2023)
- Financial performance analysis of L&W architecture and interior joint stock company (2021 - 2023)
- Phân tích tình hình sử dụng vốn tại Công ty Cổ phần đầu tư xây dựng và thương mại dịch vụ QHB