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 |