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
Spremljeno u:
| Glavni autor: | |
|---|---|
| Daljnji autori: | |
| Format: | Disertacija |
| Jezik: | Vietnamese |
| Izdano: |
Đại học Bách khoa Hà Nội
2018
|
| Teme: | |
| Online pristup: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|