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
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | أطروحة |
| اللغة: | Vietnamese |
| منشور في: |
Đại học Bách khoa Hà Nội
2018
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| 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 |