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
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Luận văn |
| Ngôn ngữ: | Vietnamese |
| Được phát hành: |
Đại học Bách khoa Hà Nội
2018
|
| Những chủ đề: | |
| Truy cập trực tuyến: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Trung tâm Học liệu và E-Learning, Trường Đại học Sư phạm – Đại học Đà Nẵng |
|---|