Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Alexandra Silva, K. Rustan M. Leino | vi |
| dc.date.accessioned | 2024-08-16T09:11:44Z | - |
| dc.date.available | 2024-08-16T09:11:44Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.isbn | 978-3-030-81688-9 | vi |
| dc.identifier.other | OER000003357 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/25385 | - |
| dc.description | Ebook miễn phí tại trang https://link.springer.com | vi |
| dc.description.abstract | Bộ tài liệu hai tập truy cập mở LNCS 12759 và 12760 này cấu thành từ kỷ yếu của hội nghị quốc tế lần thứ 33 về Xác minh có sự hỗ trợ của máy tính, CAV 2021, được tổ chức trực tuyến vào tháng 7 năm 2021. Có 63 bài báo đầy đủ được trình bày cùng với 16 bài báo công cụ và 5 bài báo được mời đã được xem xét cẩn thận được xem xét và lựa chọn từ 290 bài đã nộp. Các bài báo được tổ chức theo các phần chuyên đề sau: Phần I: các bài báo được mời; xác minh AI; tương tranh và blockchain; hệ thống lai và vật lý mạng; bảo vệ; và tổng hợp. Phần II: độ phức tạp và sự kết thúc; thủ tục và người giải quyết quyết định; kiểm tra phần cứng và mô hình; cơ sở logic; và xác minh phần mềm. | vi |
| dc.description.uri | https://link.springer.com/book/10.1007/978-3-030-81688-9 | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | Springer Cham | vi |
| dc.rights | Attribution 3.0 Vietnam | * |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/vn/ | * |
| dc.subject | Khoa học máy tính | vi |
| dc.subject | Phần mềm máy tính | vi |
| dc.subject | Xác thực | vi |
| dc.subject | Hội nghị | vi |
| dc.subject.lcc | QA76.76 | vi |
| dc.title | Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. Part II | vi |
| dc.type | Ebooks (Sách điện tử) | vi |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
This item is licensed under a Creative Commons License
