Thông tin tài liệu
| Nhan đề : | Computer aided verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, proceedings. Part I |
| Người chỉnh sửa:: | Arie Gurfinkel, Vijay Ganesh |
| Từ khoá : | Phền mềm máy tính; Tính xác thực; Hội thảo |
| Năm xuất bản : | 2024 |
| Nhà xuất bản : | Springer Nature |
| Tóm tắt : | Bộ 3 tập truy cập mở này tổng hợp nội dung của Hội nghị quốc tế lần thứ 36 về Xác minh có sự hỗ trợ của máy tính, CAV 2024, diễn ra tại Montreal, Canada, trong thời gian từ ngày 24 đến ngày 27 tháng 7 năm 2024. Trọng tâm chính của CAV là mở rộng biên giới kỹ thuật xác minh bằng cách mở rộng sang các lĩnh vực mới như bảo mật, điện toán lượng tử và học máy. |
| Mô tả: | Ebook miễn phí tại trang https://library.oapen.org/ |
| URI: | http://dlib.hust.edu.vn/handle/HUST/25450 |
| Liên kết tài liệu gốc: | https://library.oapen.org/handle/20.500.12657/92707 |
| ISBN : | 978-3-031-65627-9 |
| Trong bộ sưu tập: | OER - Công nghệ thông tin |
XEM MÔ TẢ
48
XEM & TẢI
53
Danh sách tệp tin đính kèm:
Tài liệu được cấp phép theo Bản quyền Creative Commons
