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
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | |
| Format: | Luận văn |
| Jezik: | Vietnamese |
| Izdano: |
Đại học Bách khoa Hà Nội
2018
|
| Teme: | |
| Online dostop: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|
| Opisa ni na voljo. |