Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Loại tài liệu: Tài liệu số - Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin

Tác giả: Gurfinkel, Arie, Ganesh, Vijay

Nhà xuất bản: Springer Nature

Năm xuất bản: 2024

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt nội dung

Bộ sách 3 tập truy cập mở này bao gồm kỷ yếu 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, từ ngày 24 đến 27 tháng 7 năm 2024. Trọng tâm chính của CAV là mở rộng ranh giới của các kỹ thuật xác minh bằng cách mở rộng sang các lĩnh vực mới như an ninh, điện toán lượng tử và học máy.

Abstract:

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

Ngôn ngữ:eng
Tác giả:Gurfinkel, Arie, Ganesh, Vijay
Thông tin nhan đề:Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Nhà xuất bản:Springer Nature
Loại hình:Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:https://creativecommons.org/licenses/by/4.0/deed.en
Nguồn gốc:https://library.oapen.org/handle/20.500.12657/92709
Mô tả vật lý:430p.
Năm xuất bản:2024

Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)

Danh mục
Tài nguyên khác