Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Thesis |
| Idioma: | Vietnamese |
| Publicat: |
Đại học Bách khoa Hà Nội
2018
|
| Matèries: | |
| Accés en línia: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|
| id |
oai:localhost:TVDHSPDN_123456789-32817 |
|---|---|
| record_format |
dspace |
| spelling |
oai:localhost:TVDHSPDN_123456789-328172022-10-14T03:29:23Z Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính Phạm Thị Thái, Ninh TS. Huỳnh Quyết, Thắng Công nghệ Thông tin 2018-05-23T03:15:36Z 2018-05-23T03:15:36Z 2006 Thesis http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 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 |
Công nghệ Thông tin |
| spellingShingle |
Công nghệ Thông tin Phạm Thị Thái, Ninh Kiểm tra mô hình phần mềm sử dụng lý thuyết Mô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 Phạm Thị Thái, Ninh |
| format |
Thesis |
| author |
Phạm Thị Thái, Ninh |
| author_sort |
Phạm Thị Thái, Ninh |
| title |
Kiểm tra mô hình phần mềm sử dụng lý thuyết Mô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 Mô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 Mô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 Mô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 Mô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 mô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/32817 |
| _version_ |
1848556598639722496 |