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