ProQuest Central
CSDL Springer
CSDL IEEE
Stinet
NXB Xây Dựng
Trí tuệ Nhân tạo (AI)
CHUYÊN NGÀNH
CHUYÊN NGÀNH
CHỦ ĐỀ
CHỦ ĐỀ

CSDL Luận văn - Luận án

Trở về
Hiển thị Marc

Nghiên cứu hệ tiên đề Hoare và triển khai trên ngôn ngữ Java

Tác giả: Trần Đức Hạnh

Giảng viên hướng dẫn: PGS.TSKH Nguyễn Xuân Huy

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
Toàn văn: http://thuvienso.duytan.edu.vn/handle/123456789/125242
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