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