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 DC | Giá trị | Ngôn ngữ |
---|---|---|
dc.contributor.advisor | TS. Huỳnh Quyết, Thắng | vi |
dc.contributor.author | Phan Thị Thái, Ninh | vi |
dc.date.accessioned | 2018-05-23T03:15:41Z | - |
dc.date.available | 2018-05-23T03:15:41Z | - |
dc.date.issued | 2006 | vi |
dc.identifier.uri | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 | - |
dc.language.iso | vi | vi |
dc.publisher | Đại học Bách khoa Hà Nội | vi |
dc.subject | Kỹ thuật phần mềm | vi |
dc.subject | Lý thuyết ÔTÔMAT BUCHI | vi |
dc.subject | Lý thuyết Logic | vi |
dc.title | Kiể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ính | vi |
dc.type | Thesis | vi |
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.pdf | 759.32 kB | Adobe PDF | Đă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.