Please use this identifier to cite or link to this item: http://repository.vnu.edu.vn/handle/VNU_123/2271
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
Authors: Bùi, Hoàng Khánh
Keywords: Kỹ thuật phần mềm;Logic thời gian tuyến tính;Java Pathfinder
Issue Date: 2014
Publisher: ĐHQGHN
Citation: 32 tr.
URI: http://repository.vnu.edu.vn/handle/VNU_123/2271
Appears in Collections:Luận văn - Luận án (LIC)

Files in This Item:
Thumbnail

  • File : 00050004776.pdf
  • Description : 
  • Size : 702.49 kB
  • Format : Adobe PDF


  • Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.