- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
- Công nghệ thông tin (2032 )
- Điện tử viễn thông (1199 )
- Quản trị kinh doanh (1378 )
- Kế toán (1053 )
- Môi trường (993 )
- Du lịch (936 )
- Kiến trúc (448 )
- Xây dựng (1119 )
- Ngoại ngữ (287 )
- Y dược (1506 )
- Khoa học tự nhiên (989 )
- Khoa học xã hội (543 )
- Lý luận chính trị (565 )
- Sau đại học (249 )
- Tài liệu tham khảo khác (248 )
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Luận Văn - Báo Cáo (346704)
- Kinh Doanh Marketing (67778)
- Kinh Tế - Quản Lý (50036)
- Tài Chính - Ngân Hàng (57809)
- Công Nghệ Thông Tin (143292)
- Tiếng Anh - Ngoại Ngữ (47261)
- Kỹ Thuật - Công Nghệ (137309)
- Khoa Học Tự Nhiên (110530)
- Khoa Học Xã Hội (85272)
- Văn Hoá - Nghệ Thuật (54491)
- Y Tế - Sức Khoẻ (177214)
- Nông - Lâm - Ngư (63475)
- Kỹ Năng Mềm (29084)
- Biểu Mẫu - Văn Bản (27862)
- Giải Trí - Thư Giãn (52535)
- Văn Bản Luật (199483)
- Tài Liệu Phổ Thông (409665)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
» Từ khóa: dai so 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 dtu 29/11/2021 67 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
Bộ sưu tập nổi bật
Phát triển bởi Thư viện số
