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
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | |
| Формат: | Luận văn |
| Язык: | Vietnamese |
| Опубликовано: |
Đại học Bách khoa Hà Nội
2018
|
| Предметы: | |
| Online-ссылка: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| Thư viện lưu trữ: | Trường Đại học Sư phạm - Đại học Đà Nẵng |
|---|
| Недоступно описание. |