Chứng minh một số tính chất của chương trình đa luồng không đồng bộ bằng đại số tiến trình CSP / Trần Văn Dũng.
Bài báo.
Lưu vào:
| Tác giả chính: | |
|---|---|
| Định dạng: | text |
| Thông tin xuất bản: |
H. :Trường Đại học Giao thông Vận tải,
|
| Chủ đề: | |
| Truy cập trực tuyến: | http://opac.utc.edu.vn/search/download.asp?ID=1267 |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|