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
- Nghiên cứu đặc điểm lâm sàng, cận lâm sàng và kết quả điều trị giảm tiểu cầu miễn dịch nguyên phát tại Bệnh viện trung ương Huế
- Đánh giá kết quả điều trị sỏi thận bằng phương pháp lấy sỏi qua da đường hầm nhỏ tại Bệnh viện trung ương Huế
- Tính toán, thiết kế và chế tạo mô hình hệ thống phanh trên xe điện 2 chỗ
- Thiết kế bộ chuyển đổi tín hiệu RS485 sang quang
- Điều khiển và giám sát mô hình hệ thống trạm trộn sơn tự động sử dụng PLC S7 - 1200