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
Đã lưu trong:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Luận văn |
| 语言: | Vietnamese |
| 出版: |
Đại học Bách khoa Hà Nội
2018
|
| 主题: | |
| 在线阅读: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|
| id |
oai:localhost:TVDHSPDN_123456789-32834 |
|---|---|
| record_format |
dspace |
| spelling |
oai:localhost:TVDHSPDN_123456789-328342022-10-14T03:31:47Z 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 Phan Thị Thái, Ninh TS. Huỳnh Quyết, Thắng Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic 2018-05-23T03:15:41Z 2018-05-23T03:15:41Z 2006 Thesis http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 vi Đại học Bách khoa Hà Nội |
| institution |
Trường Đại học Sư phạm - Đại học Đà Nẵng |
| collection |
DSpace |
| language |
Vietnamese |
| topic |
Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic |
| spellingShingle |
Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic Phan Thị Thái, Ninh 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 |
| author2 |
TS. Huỳnh Quyết, Thắng |
| author_facet |
TS. Huỳnh Quyết, Thắng Phan Thị Thái, Ninh |
| format |
Thesis |
| author |
Phan Thị Thái, Ninh |
| author_sort |
Phan Thị Thái, Ninh |
| 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 |
| title_short |
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 |
| title_full |
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 |
| title_fullStr |
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 |
| title_full_unstemmed |
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 |
| title_sort |
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 |
| publisher |
Đại học Bách khoa Hà Nội |
| publishDate |
2018 |
| url |
http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 |
| _version_ |
1848556608967147520 |