Xây dựng phần mở rộng kiểm chứng thuộc tính logic thời gian tuyến tính cho Java Pathfinder : Luận văn ThS. Công nghệ thông tin: 60 48 01 03

Title: Xây dựng phần mở rộng kiểm chứng thuộc tính logic thời gian tuyến tính cho Java Pathfinder : Luận văn ThS. Công nghệ thông tin: 60 48 01 03
Authors: Trương Anh Hoàng, người hướng dẫn
Bùi, Hoàng Khánh
Issue Date: 2014
Publisher: Trường Đại Học Công nghệ
Abstract: 32 tr. + CD-ROM + Tóm tắt
Luận văn ThS. Kỹ thuật phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2014
URI: http://repository.vnu.edu.vn/handle/VNU_123/43223
Appears in Collections:UET - Master Theses

Nhận xét

Bài đăng phổ biến từ blog này

Phát triển nguồn nhân lực tại Tập đoàn Khách sạn Mường Thanh : Luận văn ThS. Quản trị công nghệ và phát triển doanh nghiệp : Chuyên ngành thí điểm

Xác định nhôm từ dung dịch thẩm phân máu đậm đặc trong điều trị suy thận bằng phương pháp quang phổ hấp thụ nguyên tử không ngọn lửa : Luận văn ThS. Khoa học vật chất: 60 44 01 18

Khảo sát, đánh giá sự phân bố hàm lượng các kim loại nặng trong nước và trầm tích hệ thống Sông Đáy : Luận văn ThS. Hóa học: 60 44 29