Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này: http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Toàn bộ biểu ghi siêu dữ liệu
Trường DCGiá trị Ngôn ngữ
dc.contributor.advisorTS. Huỳnh Quyết, Thắngvi
dc.contributor.authorPhan Thị Thái, Ninhvi
dc.date.accessioned2018-05-23T03:15:41Z-
dc.date.available2018-05-23T03:15:41Z-
dc.date.issued2006vi
dc.identifier.urihttp://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834-
dc.language.isovivi
dc.publisherĐại học Bách khoa Hà Nộivi
dc.subjectKỹ thuật phần mềmvi
dc.subjectLý thuyết ÔTÔMAT BUCHIvi
dc.subjectLý thuyết Logicvi
dc.titleKiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tínhvi
dc.typeThesisvi
Bộ sưu tập: LV_Kỹ thuật

Các tập tin trong tài liệu này:
Tập tin Mô tả Kích thước Định dạng  
000000208318-R.pdf759.32 kBAdobe PDFHình minh họa
 Đăng nhập để xem toàn văn


Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.

Google Scholar TM

Kiểm tra...