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
- Hoạch định chiến lược Marketing cho sản phẩm di động Vinaphone tại VNPT Kiên Giang
- Nghiên cứu sự hài lòng của khách hàng đối với chất lượng dịch vụ tại Trung tâm ô tô - Công ty Cổ phần Cơ khí Kiên Giang
- Hoàn thiện kiểm soát nội bộ hoạt động cho vay tại Ngân hàng Nông nghiệp và Phát triển nông thôn Việt Nam – Chi nhánh huyện Minh Hóa Bắc Quảng Bình
- Hoàn thiện kiểm soát nội bộ đối với hoạt động tín dụng tại Ngân hàng Chính sách xã hội huyện Tân Hiệp, chi nhánh Kiên Giang
- Hoàn thiện công tác kiểm soát chi thường xuyên ngân sách nhà nước qua Kho bạc Nhà nước Tân Hiệp, tỉnh Kiên Giang