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
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Luận văn |
| Idioma: | Vietnamese |
| Publicado: |
Đại học Bách khoa Hà Nội
2018
|
| Những chủ đề: | |
| Acceso en liña: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 |
| Các nhãn: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|