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 - pdf 25

Luận văn: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
Nhà xuất bản:Trường Đại Học Công nghệ
Ngày:2014
Miêu tả: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
Link tải Free download cho anh em Ket-noi:
00050004776_noi_dung.pdf