Thông tin tài liệu

Thông tin siêu dữ liệu biểu ghi
Trường DC Giá trịNgôn ngữ
dc.contributor.editorHana Chockler, Georg Weissenbachervi
dc.date.accessioned2024-09-10T07:35:34Z-
dc.date.available2024-09-10T07:35:34Z-
dc.date.issued2018-
dc.identifier.isbn978-3-319-96145-3vi
dc.identifier.otherOER000003366vi
dc.identifier.urihttp://dlib.hust.edu.vn/handle/HUST/25415-
dc.descriptionEbook miễn phí tại trang https://link.springer.comvi
dc.description.abstractBộ hai tập truy cập mở LNCS 10980 và 10981 này tập trung nội dung của Hội nghị quốc tế lần thứ 30 về Xác minh có sự hỗ trợ của máy tính, CAV 2018, được tổ chức tại Oxford, Vương quốc Anh, vào tháng 7 năm 2018. Có 52 tài liệu đầy đủ và 13 tài liệu công cụ được trình bày cùng với 3 tài liệu được mời các bài báo và 2 bài hướng dẫn đã được xem xét và lựa chọn cẩn thận từ 215 bài đã nộp. Các bài viết bao gồm nhiều chủ đề và kỹ thuật, từ nền tảng xác minh thuật toán và logic đến các ứng dụng thực tế trong các hệ thống phân tán, nối mạng, vật lý mạng và tự trị. Chúng được tổ chức thành các phần chuyên đề về kiểm tra mô hình, phân tích chương trình bằng khối đa diện, tổng hợp, học tập, xác minh thời gian chạy, hệ thống lai và tính thời gian, công cụ, hệ thống xác suất, phân tích tĩnh, lý thuyết và bảo mật, SAT, SMT và các thủ tục quyết định, đồng thời và CPS , phần cứng, ứng dụng công nghiệp.vi
dc.description.urihttps://link.springer.com/book/10.1007/978-3-319-96145-3vi
dc.formatPDFvi
dc.language.isoenvi
dc.publisherSpringer Chamvi
dc.rightsAttribution 3.0 Vietnam*
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/vn/*
dc.subjectPhần mềm máy tínhvi
dc.subjectTính xác thựcvi
dc.subjectHội thảovi
dc.subject.lccQA76.76vi
dc.titleComputer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part Ivi
dc.typeEbooks (Sách điện tử)vi
Trong bộ sưu tập: OER - Công nghệ thông tin

Danh sách tệp tin đính kèm:
Ảnh bìa
  • OER000003366-1.pdf
      Restricted Access

    • Dung lượng : 6,5 MB

    • Định dạng : Adobe PDF

    • Xem tóm tắtXem đầy đủTải tài liệu
    Ảnh bìa
  • OER000003366-2.pdf
      Restricted Access

    • Dung lượng : 8,51 MB

    • Định dạng : Adobe PDF

    • Xem tóm tắtXem đầy đủTải tài liệu
    Hiển thị đơn giản


    Tài liệu được cấp phép theo Bản quyền Creative Commons Creative Commons