Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834| Nhan đề: | 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 |
| Tác giả: | TS. Huỳnh Quyết, Thắng Phan Thị Thái, Ninh |
| Từ khoá: | Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic |
| Năm xuất bản: | 2006 |
| Nhà xuất bản: | Đại học Bách khoa Hà Nội |
| Định danh: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 |
| Bộ sưu tập: | LV_Kỹ thuật |
Các tập tin trong tài liệu này:
| Tập tin | Mô tả | Kích thước | Định dạng | |
|---|---|---|---|---|
| 000000208318-R.pdf | 759.32 kB | Adobe PDF |  Đăng nhập để xem toàn văn |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.
