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
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Thesis |
| Taal: | Vietnamese |
| Gepubliceerd in: |
Đại học Bách khoa Hà Nội
2018
|
| Onderwerpen: | |
| Online toegang: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|