Please use this identifier to cite or link to this item:
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.
Appears in Collections:Luận văn - Luận án (LIC)

Files in This Item:

  • 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.