Danh mục Tài liệu số Thư viện

Danh mục TaiLieu.VN

» Từ khóa: tien trinh tuan tu tuong tac csp

Kết quả 1-1 trong khoảng 1

Ngữ nghĩa CSP cho các mạch tuần tự không đồng bộ

Bài viết sử dụng công cụ đại số “Các tiến trình tuần tự tương tác CSP”– Communicating Sequential Processes của C.A.R. Hoare để xây dựng các chương trình tuần tự không đồng bộ mô phỏng các mạch tuần tự không đồng bộ và đưa ra phương pháp mô phỏng dựa trên các luật của đại số CSP và các luật logic để chứng minh các tính chất của một số...

9 p vaa 30/11/2021 113 0

Từ khóa: Tiến trình tuần tự tương tác CSP, Mạch tuần tự không đồng bộ, Chương trình tuần tự không đồng bộ, Đại số CSP, Mạch xử lý thông tin

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Tuyển tập sách hay về Quản trị kinh doanh

9 9181
Tổng hợp Tiêu chuẩn kỹ năng nghề Hàng không

8 8393
Tập hợp tài liệu chất lượng về Điện tử...

10 10952
Bộ sưu tập về Du lịch và lữ hành

12 11917
Bộ sưu tập sách Hóa học

17 16340

Thư Viện Học Viện Hàng Không Việt Nam

Địa chỉ: 18A Cộng Hòa, Phường 4, Quận Tân Bình, Tp.Hồ Chí Minh
Điện thoại: 08.39485082
Email: thuvienhvhk@gmail.com

Phát triển bởi Thư viện số